File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # Calling the post-processor with file-upload. Assumes the username
2+ # and password are in ~/.curl-w3.org
3+ #
4+ # Possible other options:
5+ # -F date=YYYY-MM-DD
6+ # -F ids=on
7+
8+ % .html : % .src.html
9+ @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 > $@
11+ % .err : % .src.html
12+ @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 > $@
14+
15+
16+
17+ all : check Overview.html
18+ @echo Done.
19+
20+ check : Overview.err
21+ @cat $<
22+ @grep -q ' ^No errors$$' $< # Force a non-zero exit code if errors
23+
24+
25+
26+ # A handy shortcut:
27+
28+ commit : update clean all
29+ cvs commit -m ' Generated. Do not edit!' Overview.html
30+
31+ update :
32+ cvs update
33+
34+ clean :
35+ rm Overview.html
36+
37+
38+
39+ .PHONY : check commit update clean
You can’t perform that action at this time.
0 commit comments