diff options
| author | aarne <aarne@chalmers.se> | 2010-11-22 22:41:29 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-11-22 22:41:29 +0000 |
| commit | 153568c17fbdce61bd94d6f2d73b361455981378 (patch) | |
| tree | b4675693bcfe9d3e47db94cf8b6216cadc09cc19 /src | |
| parent | 0b80b3ef0aa2daaef66f642fdff984c4eb7709f0 (diff) | |
lang flag in align_words sets the list of languages
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index b4ab5ff4a..48f9b4f49 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -151,7 +151,8 @@ allCommands env@(pgf, mos) = Map.fromList [ "flag -format." ], exec = \opts es -> do - let grph = if null es then [] else graphvizAlignment pgf (languages pgf) (head es) + let langs = optLangs opts + let grph = if null es then [] else graphvizAlignment pgf langs (head es) if isFlag "view" opts || isFlag "format" opts then do let file s = "_grph." ++ s let view = optViewGraph opts @@ -169,7 +170,8 @@ allCommands env@(pgf, mos) = Map.fromList [ ], flags = [ ("format","format of the visualization file (default \"png\")"), - ("view","program to open the resulting file (default \"open\")") + ("lang", "alignments for this list of languages (default: all)"), + ("view", "program to open the resulting file (default \"open\")") ] }), ("ga", emptyCommandInfo { |