From d9edb48752eed7d97cecc483260aab858f165f1c Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Fri, 14 Jul 2017 14:39:01 +0300 Subject: Make use of wildcards in buildfiles --- doc/buildfile | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) (limited to 'doc') diff --git a/doc/buildfile b/doc/buildfile index 8737908..f2b22f1 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -5,13 +5,8 @@ define css: file css{*}: extension = css -intr = build2-toolchain-intro -inst = build2-toolchain-install +./: doc{build2-toolchain-*} \ + css{code-box common doc pre-box toc} \ + file{install.cli intro.cli doc-* *.html2ps} -./: \ -doc{$(intr).xhtml $intr-a4.pdf $intr-a4.ps $intr-letter.pdf $intr-letter.ps} \ -doc{$(inst).xhtml $inst-a4.pdf $inst-a4.ps $inst-letter.pdf $inst-letter.ps} \ -css{code-box common doc pre-box toc} \ -file{a4.html2ps letter.html2ps doc.html2ps} \ -file{doc-prologue.xhtml doc-epilogue.xhtml} \ -cli{intro.cli install.cli} file{cli.sh} +./: file{cli.sh} -- cgit v1.1