File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11# Calling the post-processor with file-upload. Assumes the username
22# and password are in ~/.curl-w3.org
33#
4+ # To set a date other than today, use: make cdate=YYYYMMDD
5+ #
46# Possible other options:
5- # -F date=YYYY-MM-DD
67# -F ids=on
78
9+ cdate = $(shell date +% Y% m% d)
10+
811% .html : % .src.html
912 @echo " Calling post-processor to generate $@ ..."
10- @curl -F file=@$< -F group=CSS -F output=html -F method=file -s -K ~ /.curl-w3.org http://cgi.w3.org/member-bin/process.cgi > $@
13+ @curl -F file=@$< -F group=CSS -F output=html -F method=file -s \
14+ -F date=$(cdate ) \
15+ -K ~ /.curl-w3.org http://cgi.w3.org/member-bin/process.cgi > $@
1116% .err : % .src.html
1217 @echo " Calling post-processor to check $<..."
13- @curl -F file=@$< -F group=CSS -F output=err -F method=file -s -K ~ /.curl-w3.org http://cgi.w3.org/member-bin/process.cgi > $@
18+ @curl -F file=@$< -F group=CSS -F output=err -F method=file -s \
19+ -F date=$(cdate ) \
20+ -K ~ /.curl-w3.org http://cgi.w3.org/member-bin/process.cgi > $@
1421
1522
1623
You can’t perform that action at this time.
0 commit comments