File tree Expand file tree Collapse file tree 3 files changed +1256
-0
lines changed Expand file tree Collapse file tree 3 files changed +1256
-0
lines changed 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