diff options
Diffstat (limited to 'examples/phrasebook/Makefile')
| -rw-r--r-- | examples/phrasebook/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/examples/phrasebook/Makefile b/examples/phrasebook/Makefile index 8254c5f40..ee9d1e132 100644 --- a/examples/phrasebook/Makefile +++ b/examples/phrasebook/Makefile @@ -11,11 +11,16 @@ koe: gf -make PhrasebookEng.gf PhrasebookFre.gf DisambPhrasebookEng.gf missing: - echo "pg -missing | wf -file=missing.txt" | gf Phrasebook???.gf + echo "pg -missing | wf -file=missing.txt" | gf Phrasebook.pgf +#PhrasebookBul.gf PhrasebookCat.gf PhrasebookDan.gf PhrasebookDut.gf PhrasebookNor.gf PhrasebookPol.gf PhrasebookRus.gf PhrasebookSpa.gf + doc: cat Sentences.gf Words.gf >Ontology.gf gfdoc Ontology.gf - txt2tags -thtml phrasebook.txt rm -f Ontology.gf + cat SentencesI.gf WordsEng.gf >Implementation.gf + gfdoc Implementation.gf + txt2tags -thtml phrasebook.txt + rm -f Ontology.gf Implementation.gf |