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+ # $Id$
2+ #
3+ # http://dev.w3.org/buildtools/css3-module-postprocessor/Makefile
4+ #
5+ # This is a makefile for generating output using the CSS3 module
6+ # postprocessor. Details about that are here:
7+ #
8+ # http://www.w3.org/Style/Group/css3-src/bin/postprocess
9+ #
10+ # To use this makefile, you need to have the "make" and "curl"
11+ # programs installed. If you are running a Windows/MS-DOS system,
12+ # you can download the "make" and "curl" programs from here:
13+ #
14+ # http://gnuwin32.sourceforge.net/downlinks/make.php
15+ # http://curl.haxx.se/dlwiz/?type=bin&os=Win32&flav=-&ver=2000/XP
16+ #
17+ # You also need to install either a .curlrc (*NIX/*BSD) or _curlrc
18+ # (MS-DOS ) file in your HOME directory, with at minimum the
19+ # following contents:
20+ #
21+ # user = foo:bar
22+ #
23+ # ...where "foo" and "bar" are your W3C username and password.
24+
25+ SOURCEFILE =Overview.src.html
26+ OUTPUTFILE =Overview.html
27+ PROCESSCGI =http://cgi.w3.org/member-bin/process.cgi
28+ CURL =curl
29+ CURLFLAGS =
30+
31+ # if you want to set a publication date other than today's date,
32+ # invoke make like this: "make PUBDATE=2008-03-19"
33+ PUBMSG =
34+ PUBDATE =
35+ USER =
36+
37+ W3C_CSS_DIR =~/work/W3C/cvs/dev.w3.org/csswg/css3-page-template
38+
39+ all : $(OUTPUTFILE )
40+
41+ $(OUTPUTFILE ) : $(SOURCEFILE )
42+ ifeq (,$(PUBDATE ) )
43+ $(CURL) $(CURLFLAGS) --user $(USER) -F file="@$<" -o "$@" -F group=CSS -F output=html -F method=file $(PROCESSCGI)
44+ else
45+ $(CURL) $(CURLFLAGS) --user $(USER) -F file="@$<" -o "$@" -F group=CSS -F output=html -F method=file $(PROCESSCGI) -F date=$(PUBDATE)
46+ endif
47+
48+
49+
50+
You can’t perform that action at this time.
0 commit comments