CDUCE=~/Documents/Research/Code/cduce/cduce


all: unrof.cdo

clean:
	@echo [Clean]
	@rm -rf *.cdo

unrof.cdo: xhtml.cdo

%.cdo: %.cd
	@echo [Building $@]
	@$(CDUCE) --compile $<