diff options
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index ac5a5d660..8ae01017c 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/06/20 16:14:19 $ +-- > CVS $Date: 2005/07/01 08:16:32 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.41 $ +-- > CVS $Revision: 1.42 $ -- -- GF shell command interpreter. ----------------------------------------------------------------------------- @@ -208,6 +208,8 @@ execC co@(comm, opts0) sa@((st,(h,_)),a) = checkOptions st co >> case comm of _ -> Nothing returnArg (ATrms $ generateTrees opts gro mt) sa + CShowTreeGraph | oElem emitCode opts -> do -- -o + returnArg (AString $ visualizeTrees opts $ strees $ s2t a) sa CShowTreeGraph -> do let g0 = writeFile "grphtmp.dot" $ visualizeTrees opts $ strees $ s2t a g1 = system "dot -Tps grphtmp.dot >grphtmp.ps" |