diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/buildfile | 13 |
1 files changed, 4 insertions, 9 deletions
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} |