aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-09-06 14:10:48 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-09-06 14:10:48 +0200
commitf3a04a50d8baa82c08d6f9d980dc5bec0039153d (patch)
tree88d75db32369c33463abd6b1b30fb0514e96907e /doc
parent35bd274ee7ac9611b9c8354f74bba2eb44c4987a (diff)
Update INSTALL generation
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/cli.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index 3a171f2..42fee67 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -72,3 +72,7 @@ ps2pdf14 -sPAPERSIZE=a4 -dOptimize=true -dEmbedAllFonts=true build2-build-system
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
+
+# Generate INSTALL in ../
+#
+cli --generate-txt -o .. --txt-suffix "" ../INSTALL.cli