diff options
| author | aarne <aarne@chalmers.se> | 2010-04-12 21:06:11 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-12 21:06:11 +0000 |
| commit | c46b81d872992d8bbbdcccf59c228c127178362c (patch) | |
| tree | aee5f90dea0be73948deb80e4068eb5205f1d41c /examples/phrasebook/Compile.hs | |
| parent | 0b224424a6ea4bbcd68830599e863d3e0b922424 (diff) | |
restored table3 in Coordination; completed PhrasebookFre
Diffstat (limited to 'examples/phrasebook/Compile.hs')
| -rw-r--r-- | examples/phrasebook/Compile.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/phrasebook/Compile.hs b/examples/phrasebook/Compile.hs index 9f8dd391f..538f31fcd 100644 --- a/examples/phrasebook/Compile.hs +++ b/examples/phrasebook/Compile.hs @@ -28,7 +28,7 @@ main = do then mapM_ compileOne modus >> return () else return () case opts of - _ | elem "-make" opts || elem "makeonly" opts -> do + _ | elem "-make" opts || elem "-link" opts -> do system $ "gf -make " ++ unwords (map (++ ".pgf") modus) return () _ -> return () |