From 2e0c510285ac1cabefea0ab68ffb1215d7297578 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 19 Apr 2004 15:33:45 +0000
Subject: some more printing

---
 src/HelpFile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/HelpFile')

diff --git a/src/HelpFile b/src/HelpFile
index 27d030201..0f7db045b 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -347,8 +347,10 @@ q, quit: q
     -parser=earley       Earley algorithm
     -parser=chart        bottom-up chart parser
 
--printer: format in which the grammar is printed. The default is gf.
+-printer: format in which the grammar is printed. The default is gfc.
+    -printer=gfc            GFC grammar
     -printer=gf             GF grammar
+    -printer=old            old GF grammar
     -printer=cf             context-free grammar
    *-printer=happy          source file for Happy parser generator
     -printer=srg            speech recognition grammar
-- 
cgit v1.2.3