Makefile

# Calling the post-processor with file-upload. Assumes the username
# and password are in ~/.curl-w3.org (user = USER:PASS)
#
# To set a date other than today, use: make cdate=YYYYMMDD
#
# To set the status, modify one of the "this version" URLs:
# http://www.w3.org/TR/[YEAR]/CR-[SHORTNAME]-[CDATE]/
# Or set that URL to [VERSION] and call Make as: make status=CR
#
#
# Possible other options to add to the curl command below:
# -F ids=on
# -F omitdchtml=on
# e.g., like this: make opts="-F ids=on -F omitdchtml=on"

cdate ?=
status ?=
group ?= CSS
opts ?=
target ?= Overview
markup ?= html

%.html: %.src.html
	@echo "Calling post-processor to generate $@..."
	@curl -K ~/.curl-w3.org -s -S -F output=html -F file=@$< \
	-F group=$(group) -F method=file -F date=$(cdate) -F status=$(status) \
	$(opts) -o $@ https://www.w3.org/Style/Group/process.cgi
%.err: %.src.html
	@echo "Calling post-processor to check $<..."
	@curl -K ~/.curl-w3.org -s -S -F output=err -F file=@$< \
	-F group=$(group) -F method=file -F date=$(cdate) -F status=$(status) \
	$(opts) -o $@ https://www.w3.org/Style/Group/process.cgi
%.html: %.bs
	curl -s -L -F file=@$< -F time=$(cdate) -F output=html \
	-F paragraph=$(markup) $(opts) -o $@ http://api.csswg.org/bikeshed/
%.err: %.bs
	curl -s -L -F file=@$< -F time=$(cdate) -F output=err \
	-F paragraph=$(markup) $(opts) -o $@ http://api.csswg.org/bikeshed/

# For Dispositions of Comments in css3-background:
%.html: %.txt; awk -f issues-txt-to-html.awk $< >$@

# Rule to create PNG from FIG
%.png: %.fig; fig2dev -L png -m 0.8 -S 4 $< $@

# Rule to create EPS from FIG
%.eps: %.fig; fig2dev -m 0.8 -L eps -F -c $< $@

# Rule to create PNG from EPS
%.png: %.eps; convert -density 96x96 $< $@


all: check $(target).html

# egrep will exit with a zero exit code if there is anything left
check: $(target).err
	@cat $<
	@if egrep -qv '^(Warning:|\(Processed in .* seconds\)|No errors)' $<;\
	 then false; else true; fi


# A handy shortcut:

commit: update all
	hg commit -m 'Generated. Do not edit!' $(target).html || true
	hg push

update:
	hg pull
	hg update

clean:
	rm -f $(target).html $(target).err



.PHONY: check commit update clean
.DELETE_ON_ERROR:
.PRECIOUS: %.png