Setup manual infra

1 files changed, 17 insertions, 0 deletions

diff --git a/doc/cli.sh b/doc/cli.sh
index 4307e63..293781d 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -13,6 +13,9 @@ while [ $# -gt 0 ]; do
   case $1 in
     --clean)
       rm -f b*.xhtml b*.1
+      rm -f build2-build-system-manual*.ps \
+	 build2-build-system-manual*.pdf   \
+	 build2-build-system-manual.xhtml
       exit 0
       ;;
     *)
@@ -55,3 +58,17 @@ pages=""
 for p in $pages; do
   compile $p $o
 done
+
+# Manual.
+#
+cli -I .. -v version="$version" -v date="$date" \
+--generate-html --html-suffix .xhtml \
+--html-prologue-file doc-prologue.xhtml \
+--html-epilogue-file doc-epilogue.xhtml \
+--output-prefix build2-build-system- manual.cli
+
+html2ps -f doc.html2ps:a4.html2ps -o build2-build-system-manual-a4.ps build2-build-system-manual.xhtml
+ps2pdf14 -sPAPERSIZE=a4 -dOptimize=true -dEmbedAllFonts=true build2-build-system-manual-a4.ps build2-build-system-manual-a4.pdf
+
+html2ps -f doc.html2ps:letter.html2ps -o build2-build-system-manual-letter.ps build2-build-system-manual.xhtml
+ps2pdf14 -sPAPERSIZE=letter -dOptimize=true -dEmbedAllFonts=true build2-build-system-manual-letter.ps build2-build-system-manual-letter.pdf