aboutsummaryrefslogtreecommitdiff
path: root/doc/buildfile
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-07-14 14:39:01 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-07-14 14:56:23 +0300
commitd9edb48752eed7d97cecc483260aab858f165f1c (patch)
tree5ecf67ccc2814b4101835c96666a9d117d305fcb /doc/buildfile
parentf91578e1e03c3b1eece18402f610bd29dd3af2f0 (diff)
Make use of wildcards in buildfiles
Diffstat (limited to 'doc/buildfile')
-rw-r--r--doc/buildfile13
1 files changed, 4 insertions, 9 deletions
diff --git a/doc/buildfile b/doc/buildfile
index 8737908..f2b22f1 100644
--- a/doc/buildfile
+++ b/doc/buildfile
@@ -5,13 +5,8 @@
define css: file
css{*}: extension = css
-intr = build2-toolchain-intro
-inst = build2-toolchain-install
+./: doc{build2-toolchain-*} \
+ css{code-box common doc pre-box toc} \
+ file{install.cli intro.cli doc-* *.html2ps}
-./: \
-doc{$(intr).xhtml $intr-a4.pdf $intr-a4.ps $intr-letter.pdf $intr-letter.ps} \
-doc{$(inst).xhtml $inst-a4.pdf $inst-a4.ps $inst-letter.pdf $inst-letter.ps} \
-css{code-box common doc pre-box toc} \
-file{a4.html2ps letter.html2ps doc.html2ps} \
-file{doc-prologue.xhtml doc-epilogue.xhtml} \
-cli{intro.cli install.cli} file{cli.sh}
+./: file{cli.sh}