diff options
Diffstat (limited to 'doc')
| -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..aa27936 --- /dev/null +++ b/doc/buildfile @@ -0,0 +1,18 @@ +# file : doc/buildfile +# copyright : Copyright (c) 2014-2017 Code Synthesis Ltd +# license : TBC; see accompanying LICENSE file + +define css: file +css{*}: extension = css + +./: doc{build2-buildos-manual.xhtml \ + build2-buildos-manual-a4.pdf \ + build2-buildos-manual-a4.ps \ + build2-buildos-manual-letter.pdf \ + build2-buildos-manual-letter.ps} \ + css{code-box common doc pre-box toc} \ + file{a4.html2ps letter.html2ps doc.html2ps} \ + file{doc-prologue.xhtml doc-epilogue.xhtml \ + manual.cli} + +./: file{cli.sh} |