Makefile.binary 261 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12
# User Makefile for binary releases

webpages: web/site.cdo
	(cd web; ../cduce --run site.cdo --arg site.xml)

web/site.cdo: web/xhtml.cdo web/site.cd
	./cduce -I web/ --compile web/site.cd

web/xhtml.cdo: web/xhtml.cd
	./cduce -I web/ --compile web/xhtml.cd