compile = runghc Compile 

all: fin demo missing

demo: compdemo linkdemo

compdemo:
	$(compile) Bul Cat Dan Dut Eng Fre Ger Ita Nor Pol Ron Spa Swe DisambPhrasebookEng

linkdemo:
	$(compile) -link Eng Bul Cat Dan Dut Fin Fre Ger Ita Nor Pol Ron Spa Swe DisambPhrasebookEng 

#separate, because slow...
fin:
	$(compile) Fin

pgfs:
	$(compile) Bul Cat Dan Dut Eng Fin Fre Ger Ita Nor Pol Ron Rus Spa Swe

koe:
	$(compile) Eng Fre DisambPhrasebookEng

missing:
	echo "pg -missing | wf -file=missing.txt" | gf Phrasebook.pgf 

doc:
	cat Sentences.gf Words.gf >Ontology.gf
	gfdoc Ontology.gf
	rm -f Ontology.gf
	cat SentencesI.gf WordsEng.gf >Implementation.gf
	gfdoc Implementation.gf
	txt2tags -thtml --toc doc-phrasebook.txt
	txt2tags -thtml help-phrasebook.txt
	rm -f Ontology.gf Implementation.gf

upload:: Phrasebook.pgf
	rsync -a Phrasebook.pgf www.grammaticalframework.org:/usr/local/www/GF-demos/www/grammars