Oops, better add it to the usage message!

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 9de8508f2804fe8bfb50f874150581d1b4879b78..4b0f63231eaaf7c34bbdf61547571deeecc8311c 100755 (executable)
--- a/Doc/tools/mkhowto.sh
+++ b/Doc/tools/mkhowto.sh
@@ -42,6 +42,7 @@ HTML options:
     --split, -s                Specify a section level for page splitting.
 
 Other options:
+    --a4               Format for A4 paper.
     --help, -H         Show this text.
     --logging, -l      Log stdout and stderr to a file (*.how).
     --debugging, -D    Echo commands as they are executed.