From ae0205a089b02a38acf5beae9fa75664040fc27a Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Wed, 12 Jul 2017 14:09:36 +0300 Subject: Make use of wildcards in buildfiles --- doc/buildfile | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) (limited to 'doc/buildfile') diff --git a/doc/buildfile b/doc/buildfile index 1241870..cf7a1fb 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -8,19 +8,12 @@ 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} +./: {man1 xhtml}{b} \ + css{common pre-box man} \ + file{man-*} -./: doc{build2-build-system-manual.xhtml \ - build2-build-system-manual-a4.pdf \ - build2-build-system-manual-a4.ps \ - build2-build-system-manual-letter.pdf \ - build2-build-system-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-build-system-manual*} \ + css{code-box common doc pre-box toc} \ + file{manual.cli doc-* *.html2ps} ./: file{cli.sh} -- cgit v1.1