summaryrefslogtreecommitdiff
path: root/src/GF/Shell/PShell.hs
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/PShell.hs
parentb90332065c022332eb7a8d0505ef737e925914a1 (diff)
command vg
Diffstat (limited to 'src/GF/Shell/PShell.hs')
-rw-r--r--src/GF/Shell/PShell.hs3
1 files changed, 2 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))