diff options
Diffstat (limited to 'doc/buildfile')
-rw-r--r-- | doc/buildfile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/buildfile b/doc/buildfile new file mode 100644 index 0000000..293dfb9 --- /dev/null +++ b/doc/buildfile @@ -0,0 +1,18 @@ +# file : doc/buildfile +# copyright : Copyright (c) 2009-2017 Code Synthesis Ltd +# license : GNU GPL v3; see accompanying LICENSE file + +define css: doc +css{*}: extension = css + +define xhtml: doc +xhtml{*}: extension = xhtml + +./: css{default} + +./: {man1 xhtml}{odb} file{odb-*.1} file{odb-*.xhtml} + +./: doc{manual.xhtml odb-manual.ps odb-manual.pdf} doc{*.png} \ + file{*.svg +*.html2ps} + +./: file{doc.sh} |