csswg-drafts/css-speech-1/Makefile at 55ec2fc5eae826527c10ad12705e1ada7ea85da5 · w3c/csswg-drafts · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
# Calling the post-processor with file-upload. Assumes the username
# and password are in ~/.curl-w3.org (user = USER:PASS)
#
# To set a date other than today, use: make cdate=YYYYMMDD
#
# To set the status, modify one of the "this version" URLs:
# http://www.w3.org/TR/[YEAR]/CR-[SHORTNAME]-[CDATE]/
# Or set that URL to [VERSION] and call Make as: make status=CR
#
#
# Possible other options to add to the curl command below:
# -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) -F status=$(status) \
	-K ~/.curl-w3.org https://www.w3.org/Style/Group/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) -F status=$(status) \
	-K ~/.curl-w3.org https://www.w3.org/Style/Group/process.cgi >$@


all: check Overview.html
	@echo Done.

check: Overview.err
	@cat $<
	@grep -q '^No errors$$' $< # Force a non-zero exit code if errors


# A handy shortcut:

commit: update clean all
	hg commit -m 'Generated. Do not edit!' Overview.html
	hg push

update:
	hg pull -u

clean:
	rm Overview.html


.PHONY: check commit update clean