| Age | Commit message (Collapse) | Author |
|---|
|
"not when there is nothing more to add, but when there is
nothing more to be taken away"
deleted old DocBook manual sources
deleted references to DocBook manual sources (in DOCDOC and
clean.sh and so forth)
minor tidying of doc-building and doc/-cleaning machinery
(hopefully leaving it working basically as before)
|
|
refined my sh script technique (removing syntax errors)
|
|
gave up on trying to mess with different versions of jade on
different architectures, at which point it became clear
that I wanted the formatted docs to be distributed in
a different package than source or binary, so...
...wrote html-distribution.sh to slurp up the HTML-formatted
documentation
...tweaked binary-distribution.sh so it no longer slurps up the
HTML-formatted documentation
|
