diff options
| -rw-r--r-- | buildfile | 2 | ||||
| -rw-r--r-- | doc/buildfile | 15 |
2 files changed, 16 insertions, 1 deletions
@@ -2,7 +2,7 @@ # copyright : Copyright (c) 2014-2016 Code Synthesis Ltd # license : MIT; see accompanying LICENSE file -d = build2/ tests/ +d = build2/ tests/ doc/ ./: $d doc{INSTALL LICENSE version} file{INSTALL.cli bootstrap manifest} include $d diff --git a/doc/buildfile b/doc/buildfile new file mode 100644 index 0000000..034e3a9 --- /dev/null +++ b/doc/buildfile @@ -0,0 +1,15 @@ +# file : doc/buildfile +# copyright : Copyright (c) 2014-2016 Code Synthesis Ltd +# license : MIT; see accompanying LICENSE file + +define css: file +css{*}: extension = css + +define xhtml: doc +xhtml{*}: extension = xhtml + +./: {man1 xhtml}{b} \ + css{common pre-box man} \ + file{man-prologue.1 man-epilogue.1 \ + man-prologue.xhtml man-epilogue.xhtml \ + cli.sh} |