Oops, the --text option wasn't documented!

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 393e419392a1fdbb4f39822a801166adf2d93c54..26deac9bff314c571cf7ab334e1371b401befd49 100755 (executable)
--- a/Doc/tools/mkhowto.sh
+++ b/Doc/tools/mkhowto.sh
@@ -38,6 +38,7 @@ Options specifying formats to build:
     --pdf              Portable Document Format (default)
     --ps               PostScript
     --dvi              "DeVice Indepentent" format from TeX
+    --text             ASCII text
 
     More than one output format may be specified.