diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2017-07-15 18:35:58 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2017-07-15 18:35:58 +0300 |
| commit | b67a2d2fa3bb9e463d0e5ddfdeae9a40e9bc2439 (patch) | |
| tree | 8efa69e541eed76790728f8573e132a40f2b6813 /doc/buildfile | |
| parent | 4fd24b741d26b763ebac8675aafdcaa1adbd3675 (diff) | |
Make use of wildcards in buildfiles
Diffstat (limited to 'doc/buildfile')
| -rw-r--r-- | doc/buildfile | 12 |
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} |