Preparing for release.

This commit is contained in:
aarne
2004-08-03 11:47:32 +00:00
parent 541ef75fb4
commit 59b5745c0e
8 changed files with 121 additions and 7 deletions

View File

@@ -161,7 +161,7 @@ optionsOfCommand co = case co of
CShowTerm -> flags "printer"
CSystemCommand _ -> none
CPrintGrammar -> both "utf8" "printer"
CPrintGrammar -> both "utf8" "printer lang"
CPrintMultiGrammar -> opts "utf8"
CHelp _ -> opts "all"