diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/buildfile | 15 |
1 files changed, 15 insertions, 0 deletions
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} |