diff options
Diffstat (limited to 'examples/app/Makefile')
| -rw-r--r-- | examples/app/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/app/Makefile b/examples/app/Makefile index d556ebdf5..feedab8c9 100644 --- a/examples/app/Makefile +++ b/examples/app/Makefile @@ -1,4 +1,4 @@ -all: Phrasebook App15.pgf +all: App15.pgf PROBSFILE=./app.probs GFODIR=./gfos |