aboutsummaryrefslogtreecommitdiff
path: root/doc/buildfile
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-07-15 18:35:58 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-07-15 18:35:58 +0300
commitb67a2d2fa3bb9e463d0e5ddfdeae9a40e9bc2439 (patch)
tree8efa69e541eed76790728f8573e132a40f2b6813 /doc/buildfile
parent4fd24b741d26b763ebac8675aafdcaa1adbd3675 (diff)
Make use of wildcards in buildfiles
Diffstat (limited to 'doc/buildfile')
-rw-r--r--doc/buildfile12
1 files changed, 3 insertions, 9 deletions
diff --git a/doc/buildfile b/doc/buildfile
index aa27936..9aad75a 100644
--- a/doc/buildfile
+++ b/doc/buildfile
@@ -5,14 +5,8 @@
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}
+./: doc{build2-buildos-manual*} \
+ css{code-box common doc pre-box toc} \
+ file{manual.cli doc-* *.html2ps}
./: file{cli.sh}