Hack: make sure LaTeX2HTML doesn't change -- to - in mkhowto

description.

diff --git a/Doc/doc/doc.tex b/Doc/doc/doc.tex
index 2370a872b27fb2e2768150e734d4fd0184f6fa38..e95f1557ca945c678c83710c1374ffb44ca8cf74 100644 (file)
--- a/Doc/doc/doc.tex
+++ b/Doc/doc/doc.tex
@@ -924,8 +924,8 @@ distribution, to create or maintain whole documents or sections.
        symbolic link to it or run it in place; the actual script file 
        must be stored as part of the documentation source tree,
        though it may be used to format documents outside the
-       tree.  Use \program{mkhowto --help} for a list of command line 
-       options.
+       tree.  Use \program{mkhowto -}\program{-help} for a list of
+        command line options.
 
         \program{mkhowto} can be used for both \code{howto} and
         \code{manual} class documents.  (For the later, be sure to get