diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-08 12:59:55 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-08 12:59:55 +0200 |
commit | 7507e6686bc6d661cf6470946ada6e4139c05270 (patch) | |
tree | eac080f07cd464b861ed07de4734894376cc0434 /doc/buildfile | |
parent | 405fbdfff7c123a7c3081f3f501f4b82254e6957 (diff) |
Omit auto-generated documentation for now to allow building from git
Diffstat (limited to 'doc/buildfile')
-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} |