From bfd63c8ec0e060c8c28bd3fc6acf9af4460bc208 Mon Sep 17 00:00:00 2001
From: Karen Arutyunov <karen@codesynthesis.com>
Date: Mon, 10 Jul 2017 18:20:08 +0300
Subject: Make use of wildcards in buildfiles

---
 doc/buildfile | 19 ++++++-------------
 1 file changed, 6 insertions(+), 13 deletions(-)

(limited to 'doc')

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}
-- 
cgit v1.1