diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 5d016b89b..f7d6b8549 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -1,6 +1,9 @@ compile = runghc Compile -all: demo missing +all: demo missing gfos + +gfos: + mkdir -p gfos && cp -p *.gfo gfos thaidroid: #thaiscript cp -p Phrasebook.pgf FullPhrasebook.pgf |