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