VPATH := img

RMR := $(RM) -r
SED := sed

CSS := style.css

.PHONY: all clean distclean

all: casl2_spec.html casl2_spec.pdf

clean: texinfo-clean
	$(RM) *.bak
	$(MAKE) -C img clean

distclean: clean texinfo-distclean
	$(RM) *.html *.pdf
	$(MAKE) -C img distclean

include casl2_spec.dep

include texinfo.mk

include images.mk