diff options
Diffstat (limited to 'doc/buildfile')
-rw-r--r-- | doc/buildfile | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/doc/buildfile b/doc/buildfile deleted file mode 100644 index 552fcb0..0000000 --- a/doc/buildfile +++ /dev/null @@ -1,21 +0,0 @@ -# file : doc/buildfile -# copyright : Copyright (c) 2009-2019 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} - -# @@ BUILD2 TMP: auto-generated and not in git (also odb-manual.* below) -# -./: file{odb-*.1} file{odb-*.xhtml} - # {man1 xhtml}{odb} - -./: doc{manual.xhtml} doc{*.png} file{*.svg +*.html2ps} - #doc{odb-manual.ps odb-manual.pdf} - -./: file{doc.sh} |