diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-02-11 11:48:59 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-02-11 11:48:59 +0200 |
commit | 3ff9af4b65c07561b09a2e9581ee635ae7d8fc7d (patch) | |
tree | 36f0435810b52c8c0c1afc6c21e1d52d3d2f4b57 /doc/buildfile | |
parent | 200c4055b0fa758b42cb59785f1661140b9da4a7 (diff) |
Rename intro.css to doc.css, update buildfile
Diffstat (limited to 'doc/buildfile')
-rw-r--r-- | doc/buildfile | 6 |
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} |