Moved here from /Style/Group/css3-src/css3-box

Author: bert-github

css3-box/Makefile

@@ -0,0 +1,54 @@
+# Calling the post-processor with file-upload. Assumes the username
+# and password are in ~/.curl-w3.org
+#
+# To set a date other than today, use: make cdate=YYYYMMDD
+#
+# Possible other options:
+# -F ids=on
+
+cdate = $(shell date +%Y%m%d)
+
+%.html: %.src.html
+	@echo "Calling post-processor to generate $@..."
+	@curl -F file=@$< -F group=CSS -F output=html -F method=file -s \
+	-F date=$(cdate) \
+	-K ~/.curl-w3.org http://cgi.w3.org/member-bin/process.cgi >$@
+%.err: %.src.html
+	@echo "Calling post-processor to check $<..."
+	@curl -F file=@$< -F group=CSS -F output=err -F method=file -s \
+	-F date=$(cdate) \
+	-K ~/.curl-w3.org http://cgi.w3.org/member-bin/process.cgi >$@
+
+
+
+all: check Overview.html
+	@echo Done.
+
+check: Overview.err
+	@cat $<
+	@grep -q '^No errors$$' $< # Force a non-zero exit code if errors
+
+
+# Conversions:
+
+%.eps: %.fig; fig2dev -m 0.8 -L eps -F -c $< $@
+%.png: %.eps; convert -density 96x96 $< $@
+%.png: %.idraw; convert -density 96x96 $< $@
+%: %.png; ln -sf $< $@
+
+
+# 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
+.PRECIOUS: %.png