From fb5712f17df87bc2be127c094fd9ecc3ac0a6c97 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 7 May 2018 16:20:33 +0200 Subject: Rename intro2 to intro, old intro to intro1 --- doc/cli.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/cli.sh') diff --git a/doc/cli.sh b/doc/cli.sh index 1747730..7126f5c 100755 --- a/doc/cli.sh +++ b/doc/cli.sh @@ -49,8 +49,8 @@ html2ps -f doc.html2ps:letter.html2ps -o build2-toolchain-$n-letter.ps build2-to ps2pdf14 -sPAPERSIZE=letter -dOptimize=true -dEmbedAllFonts=true build2-toolchain-$n-letter.ps build2-toolchain-$n-letter.pdf } -gen intro2 gen intro +#gen intro1 # Auto-heading doesn't work since it is broken into multiple doc strings. # -- cgit v1.1