diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 2d363bb9d..2322a2832 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -2,10 +2,10 @@ compile = runghc Compile all: demo missing -thaidroid: +thaidroid: #thaiscript cp -p Phrasebook.pgf FullPhrasebook.pgf - $(compile) -opt Eng Swe Tha Thp DisambPhrasebookEng - $(compile) -link Eng Fin Swe Tha Thp DisambPhrasebookEng + $(compile) -opt Eng Swe Tha PhrasebookThaP DisambPhrasebookEng + $(compile) -link Eng Fin Swe Tha PhrasebookThaP DisambPhrasebookEng mv Phrasebook.pgf Thaidroid.pgf mv FullPhrasebook.pgf Phrasebook.pgf |
