diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 1a28326ba..43547d860 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -1,5 +1,10 @@ -all: +all: pgf missing + +pgf: gf -make PhrasebookEng.gf PhrasebookFin.gf PhrasebookFre.gf PhrasebookIta.gf PhrasebookRon.gf PhrasebookSwe.gf +missing: + echo "pg -missing | wf -file=missing.txt" | gf Phrasebook.pgf + doc: txt2tags -thtml phrasebook.txt |