diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 393e419392a..26deac9bff3 100755 --- 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.