diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/phrasebook/Makefile2 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/examples/phrasebook/Makefile2 b/examples/phrasebook/Makefile2 index e6d811582..71f59279f 100644 --- a/examples/phrasebook/Makefile2 +++ b/examples/phrasebook/Makefile2 @@ -9,9 +9,6 @@ Phrasebook.pgf: PhrasebookFre.pgf PhrasebookGer.pgf PhrasebookFin.pgf Phrasebook PhrasebookEng.pgf:: gf -make -s -optimize-pgf -name=PhrasebookEng PhrasebookEng.gf -PhrasebookEng.pgf:: - gf -make -s -optimize-pgf -name=PhrasebookEng PhrasebookEng.gf - PhrasebookBul.pgf:: gf -make -s -optimize-pgf -name=PhrasebookBul PhrasebookBul.gf |