summaryrefslogtreecommitdiff
path: root/src/GF/Shell
diff options
context:
space:
mode:
authoraarne <unknown>2005-02-11 15:08:10 +0000
committeraarne <unknown>2005-02-11 15:08:10 +0000
commit1befa19e222c0c44142696e4aaf7d942ae348653 (patch)
tree001a79112a9de263f5f3b11677c8d8ea4a440f24 /src/GF/Shell
parentb90332065c022332eb7a8d0505ef737e925914a1 (diff)
command vg
Diffstat (limited to 'src/GF/Shell')
-rw-r--r--src/GF/Shell/PShell.hs3
-rw-r--r--src/GF/Shell/ShellCommands.hs1
2 files changed, 3 insertions, 1 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs
index 08ba2a4e1..dd797be5e 100644
--- a/src/GF/Shell/PShell.hs
+++ b/src/GF/Shell/PShell.hs
@@ -129,7 +129,8 @@ pCommand ws = case ws of
"pxs" : [] -> aUnit CPrintCanonXMLStruct
"px" : [] -> aUnit CPrintCanonXML
"pm" : [] -> aUnit CPrintMultiGrammar
- "sg" : [] -> aUnit CPrintSourceGrammar
+ "vg" : [] -> aUnit CShowGrammarGraph
+ "sg" : [] -> aUnit CPrintSourceGrammar
"po" : [] -> aUnit CPrintGlobalOptions
"pl" : [] -> aUnit CPrintLanguages
"h" : c : [] -> aUnit $ CHelp (Just (abbrevCommand c))
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index be1137440..c28bcad48 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -73,6 +73,7 @@ data Command =
| CPrintInformation I.Ident
| CPrintMultiGrammar
| CPrintSourceGrammar
+ | CShowGrammarGraph
| CPrintGramlet
| CPrintCanonXML
| CPrintCanonXMLStruct