aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
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