diff options
| author | bringert <unknown> | 2005-09-13 07:33:56 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-09-13 07:33:56 +0000 |
| commit | 314a9db89f93ca6895595268485fe23a6c85c07a (patch) | |
| tree | 42587e660fcde45e2ee7e10d063b82a501a04151 | |
| parent | 0199234b2d4c966d79a47aa878792b996d6124e2 (diff) | |
Added FA and SRG stuff to HelpFile. Fixed typos in history file.
| -rw-r--r-- | doc/gf-history.html | 2 | ||||
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 12 | ||||
| -rw-r--r-- | src/HelpFile | 6 |
3 files changed, 16 insertions, 4 deletions
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) |