diff --git a/doc/gf-history.html b/doc/gf-history.html
index 54f3950e4..ceba9fa30 100644
--- a/doc/gf-history.html
+++ b/doc/gf-history.html
@@ -24,7 +24,7 @@ The new options are:
 <dt><tt>pg -printer=slf_graphviz</tt></dt>
 <dd>The same FA as in SLF, but in Graphviz format.</dd>
 <dt><tt>pg -printer=fa_graphviz</tt></dt>
-<dd>An FA with labelled edges, instead of labelled nodes which SLF has.</dd>
+<dd>A finite automaton with labelled edges, instead of labelled nodes which SLF has.</dd>
 <dt><tt>pg -printer=regular</tt></dt>
 <dd>A regular grammar in a simple BNF.</dd>
 </dl>
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs
index c530e459f..6a5b1c7e1 100644
--- a/src/GF/Shell/HelpFile.hs
+++ b/src/GF/Shell/HelpFile.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/09/04 11:45:38 $
--- > CVS $Author: aarne $
--- > CVS $Revision: 1.10 $
+-- > CVS $Date: 2005/09/13 08:33:58 $
+-- > CVS $Author: bringert $
+-- > CVS $Revision: 1.11 $
 --
 -- Help on shell commands. Generated from HelpFile by 'make help'.
 -- PLEASE DON'T EDIT THIS FILE.
@@ -524,6 +524,12 @@ txtHelpFile =
   "\n   *-printer=xml            XML: DTD for the pg command, object for st" ++
   "\n    -printer=old            old GF: file readable by GF 1.2" ++
   "\n    -printer=stat           show some statistics of generated GFC" ++
+  "\n    -printer=gsl            Nuance GSL speech recognition grammar" ++
+  "\n    -printer=jsgf           Java Speech Grammar Format" ++
+  "\n    -printer=slf            a finite automaton in the HTK SLF format" ++
+  "\n    -printer=slf_graphviz   the same automaton as in SLF, but in Graphviz format" ++
+  "\n    -printer=fa_graphviz    a finite automaton with labelled edges" ++
+  "\n    -printer=regular        a regular grammar in a simple BNF" ++
   "\n" ++
   "\n-startcat, like -cat, but used in grammars (to avoid clash with keyword cat)" ++
   "\n" ++
diff --git a/src/HelpFile b/src/HelpFile
index edc5bef9c..791c639a5 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -495,6 +495,12 @@ q, quit: q
    *-printer=xml            XML: DTD for the pg command, object for st
     -printer=old            old GF: file readable by GF 1.2
     -printer=stat           show some statistics of generated GFC
+    -printer=gsl            Nuance GSL speech recognition grammar
+    -printer=jsgf           Java Speech Grammar Format
+    -printer=slf            a finite automaton in the HTK SLF format
+    -printer=slf_graphviz   the same automaton as in SLF, but in Graphviz format
+    -printer=fa_graphviz    a finite automaton with labelled edges
+    -printer=regular        a regular grammar in a simple BNF
 
 -startcat, like -cat, but used in grammars (to avoid clash with keyword cat)