From 3ff9af4b65c07561b09a2e9581ee635ae7d8fc7d Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 11 Feb 2016 11:48:59 +0200 Subject: Rename intro.css to doc.css, update buildfile --- doc/buildfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/buildfile') 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} -- cgit v1.1