diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-01 08:35:09 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-01 08:35:37 +0200 |
commit | 28f3f8b92fc0b90d6646712eb2304c63c7fbc80e (patch) | |
tree | 22627bed13e2ac515a957f5012494a01b34f6834 /doc | |
parent | 3e9ecd86a6c4f1b01e446fba92369e71872b0d77 (diff) |
Build system update
Diffstat (limited to 'doc')
-rw-r--r-- | doc/buildfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/buildfile b/doc/buildfile index 84386da..fb23206 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -7,10 +7,10 @@ css{*}: extension = css ./: doc{build2-toolchain-intro.xhtml \ build2-toolchain-intro-a4.pdf \ - build2-toolchain-intro-a4.ps \ + build2-toolchain-intro-a4.ps \ build2-toolchain-intro-letter.pdf \ - build2-toolchain-intro-letter.ps} \ - css{code-box common doc pre-box toc} \ + build2-toolchain-intro-letter.ps} \ + 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} |