# 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 = opts = %.html: %.src.html @echo "Calling post-processor to generate $@..." @curl -K ~/.curl-w3.org -s -S -F output=html -F file=@$< -F group=CSS \ -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=CSS \ -F method=file -F date=$(cdate) -F status=$(status) $(opts) -o $@ \ https://www.w3.org/Style/Group/process.cgi # 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 Overview.html # egrep will exit with a zero exit code if there is anything left check: Overview.err @cat $< @if egrep -v '^(Warning:|\(Processed in .* seconds\)|No errors)' $<;\ then false; else true; fi # A handy shortcut: commit: update all hg commit -m 'Generated. Do not edit!' Overview.html || true hg push update: hg pull hg update clean: rm -f Overview.html Overview.err .PHONY: check commit update clean .DELETE_ON_ERROR: .PRECIOUS: %.png