diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 030b42fbe..bbdb47c40 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -3,6 +3,9 @@ all: pgf missing pgf: gf -make PhrasebookEng.gf PhrasebookFin.gf PhrasebookFre.gf PhrasebookIta.gf PhrasebookRon.gf PhrasebookSwe.gf DisambPhrasebookEng.gf DisambPhrasebookRon.gf +koe: + gf -make PhrasebookEng.gf PhrasebookFre.gf DisambPhrasebookEng.gf + missing: echo "pg -missing | wf -file=missing.txt" | gf Phrasebook.pgf |