diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/buildfile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/buildfile b/doc/buildfile index 293dfb9..8ca4c70 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -10,9 +10,12 @@ xhtml{*}: extension = xhtml ./: css{default} -./: {man1 xhtml}{odb} file{odb-*.1} file{odb-*.xhtml} +# @@ BUILD2 TMP: auto-generated and not in git (also odb-manual.* below) +# +./: file{odb-*.1} file{odb-*.xhtml} + # {man1 xhtml}{odb} -./: doc{manual.xhtml odb-manual.ps odb-manual.pdf} doc{*.png} \ - file{*.svg +*.html2ps} +./: doc{manual.xhtml} doc{*.png} file{*.svg +*.html2ps} + #doc{odb-manual.ps odb-manual.pdf} ./: file{doc.sh} |