diff options
| author | aarne <aarne@chalmers.se> | 2010-12-14 22:05:53 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-14 22:05:53 +0000 |
| commit | 61e4e9ac20090aa32269dffa83bce174e5bfb04d (patch) | |
| tree | 0e18b474062ee7c250c59e492c259b69a0d7d254 /src/compiler/GF/Command/Commands.hs | |
| parent | 9c86b62212a30a2ee620f76afda80d12913a2725 (diff) | |
updated documentation of pg -printer formats
Diffstat (limited to 'src/compiler/GF/Command/Commands.hs')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 2f8fba75c..22485e94b 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -548,11 +548,12 @@ allCommands env@(pgf, mos) = Map.fromList [ "N.B.2 Another way to produce different formats is to use 'gf -make',", "the batch compiler. The following values are available both for", "the batch compiler (flag -output-format) and the print_grammar", - "command (flag -printer) ; * = not supported at the moment:", + "command (flag -printer):", "" - ] ++ unlines [ - " " ++ opt ++ "\t\t" ++ expl | ((opt,_),expl) <- outputFormatsExpl - ], + ] ++ unlines (sort [ + " " ++ opt ++ "\t\t" ++ expl | + ((opt,_),expl) <- outputFormatsExpl, take 1 expl /= "*" + ]), exec = \opts _ -> prGrammar opts, flags = [ --"cat", |