aboutsummaryrefslogtreecommitdiff
path: root/doc/buildfile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/buildfile')
-rw-r--r--doc/buildfile19
1 files changed, 6 insertions, 13 deletions
diff --git a/doc/buildfile b/doc/buildfile
index 278552f..81d9676 100644
--- a/doc/buildfile
+++ b/doc/buildfile
@@ -13,19 +13,12 @@ css{*}: extension = css
define xhtml: doc
xhtml{*}: extension = xhtml
-./: {man1 xhtml}{$cmds} \
- css{common pre-box man} \
- file{man-prologue.1 man-epilogue.1 \
- man-prologue.xhtml man-epilogue.xhtml}
+./: {man1 xhtml}{$cmds} \
+ css{common pre-box man} \
+ file{man-*}
-./: doc{build2-repository-interface-manual.xhtml \
- build2-repository-interface-manual-a4.pdf \
- build2-repository-interface-manual-a4.ps \
- build2-repository-interface-manual-letter.pdf \
- build2-repository-interface-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}
+./: doc{build2-repository-interface-manual*} \
+ css{code-box common doc pre-box toc} \
+ file{manual.cli doc-* *.html2ps}
./: file{cli.sh}