Makefile

# Calling the post-processor with file-upload. Assumes the username
# and password are in ~/.curl-w3.org
#
# Possible other options:
# -F date=YYYY-MM-DD
# -F ids=on

%.html: %.src.html
	@echo "Calling post-processor to generate $@..."
	@curl -F file=@$< -F group=CSS -F output=html -F method=file -s -K ~/.curl-w3.org https://www.w3.org/Style/Group/process.cgi >$@
%.err: %.src.html
	@echo "Calling post-processor to check $<..."
	@curl -F file=@$< -F group=CSS -F output=err -F method=file -s -K ~/.curl-w3.org https://www.w3.org/Style/Group/process.cgi >$@



all: check Overview.html
	@echo Done.

check: Overview.err
	@cat $<
	@grep -q '^No errors$$' $< # Force a non-zero exit code if errors



# A handy shortcut:

commit: update clean all
	cvs commit -m 'Generated. Do not edit!' Overview.html

update:
	cvs update

clean:
	rm Overview.html



.PHONY: check commit update clean