aboutsummaryrefslogtreecommitdiff
path: root/doc/buildfile
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-02-11 11:48:59 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-02-11 11:48:59 +0200
commit3ff9af4b65c07561b09a2e9581ee635ae7d8fc7d (patch)
tree36f0435810b52c8c0c1afc6c21e1d52d3d2f4b57 /doc/buildfile
parent200c4055b0fa758b42cb59785f1661140b9da4a7 (diff)
Rename intro.css to doc.css, update buildfile
Diffstat (limited to 'doc/buildfile')
-rw-r--r--doc/buildfile6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/buildfile b/doc/buildfile
index 4e85906..84386da 100644
--- a/doc/buildfile
+++ b/doc/buildfile
@@ -10,7 +10,7 @@ css{*}: extension = css
build2-toolchain-intro-a4.ps \
build2-toolchain-intro-letter.pdf \
build2-toolchain-intro-letter.ps} \
- css{common code-box pre-box intro} \
- file{a4.html2ps letter.html2ps intro.html2ps} \
- file{intro-prologue.xhtml intro-epilogue.xhtml \
+ css{code-box common doc pre-box toc} \
+ file{a4.html2ps letter.html2ps doc.html2ps} \
+ file{doc-prologue.xhtml doc-epilogue.xhtml \
intro.cli cli.sh}