diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 12ec74128..8254c5f40 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -1,7 +1,7 @@ all: demo missing demo: - gf -make PhrasebookEng.gf PhrasebookFin.gf PhrasebookFre.gf PhrasebookIta.gf PhrasebookRon.gf PhrasebookSwe.gf DisambPhrasebookEng.gf + gf -make PhrasebookEng.gf PhrasebookFin.gf PhrasebookFre.gf PhrasebookGer.gf PhrasebookIta.gf PhrasebookRon.gf PhrasebookSwe.gf DisambPhrasebookEng.gf #DisambPhrasebookRon.gf pgf: @@ -14,4 +14,8 @@ missing: echo "pg -missing | wf -file=missing.txt" | gf Phrasebook???.gf doc: + cat Sentences.gf Words.gf >Ontology.gf + gfdoc Ontology.gf txt2tags -thtml phrasebook.txt + rm -f Ontology.gf + |