From b67a2d2fa3bb9e463d0e5ddfdeae9a40e9bc2439 Mon Sep 17 00:00:00 2001
From: Karen Arutyunov <karen@codesynthesis.com>
Date: Sat, 15 Jul 2017 18:35:58 +0300
Subject: Make use of wildcards in buildfiles

---
 doc/buildfile | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

(limited to 'doc')

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