diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 530a09a01..12ec74128 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -1,14 +1,17 @@ -all: pgf missing +all: demo missing -pgf: +demo: gf -make PhrasebookEng.gf PhrasebookFin.gf PhrasebookFre.gf PhrasebookIta.gf PhrasebookRon.gf PhrasebookSwe.gf DisambPhrasebookEng.gf #DisambPhrasebookRon.gf +pgf: + gf -make Phrasebook???.gf DisambPhrasebookEng.gf + koe: gf -make PhrasebookEng.gf PhrasebookFre.gf DisambPhrasebookEng.gf missing: - echo "pg -missing | wf -file=missing.txt" | gf Phrasebook.pgf + echo "pg -missing | wf -file=missing.txt" | gf Phrasebook???.gf doc: txt2tags -thtml phrasebook.txt |