File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 33#
44# To set a date other than today, use: make cdate=YYYYMMDD
55#
6- # Possible other options:
6+ # To set the status, modify one of the "this version" URLs:
7+ # http://www.w3.org/TR/[YEAR]/CR-[SHORTNAME]-[CDATE]/
8+ # Or set that URL to [VERSION] and call Make as: make status=CR
9+ #
10+ #
11+ # Possible other options to add to the curl command below:
712# -F ids=on
813
914cdate = $(shell date +% Y% m% d)
1015
1116% .html : % .src.html
1217 @echo " Calling post-processor to generate $@ ..."
1318 @curl --basic -F file=@$< -F group=CSS -F output=html -F method=file -s \
14- -F date=$(cdate ) \
19+ -F date=$(cdate ) -F status= $( status ) \
1520 -K ~ /.curl-w3.org http://cgi.w3.org/member-bin/process.cgi > $@
1621% .err : % .src.html
1722 @echo " Calling post-processor to check $<..."
1823 @curl --basic -F file=@$< -F group=CSS -F output=err -F method=file -s \
19- -F date=$(cdate ) \
24+ -F date=$(cdate ) -F status= $( status ) \
2025 -K ~ /.curl-w3.org http://cgi.w3.org/member-bin/process.cgi > $@
2126
2227
@@ -33,10 +38,11 @@ check: Overview.err
3338# A handy shortcut:
3439
3540commit : update clean all
36- cvs commit -m ' Generated. Do not edit!' Overview.html
41+ hg commit -m ' Generated. Do not edit!' Overview.html
42+ hg push
3743
3844update :
39- cvs update
45+ hg pull -u
4046
4147clean :
4248 rm Overview.html
You can’t perform that action at this time.
0 commit comments