|
| 1 | +# $Id: Makefile,v 1.5 2008/02/06 14:05:15 mike Exp $ |
| 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/css4-pseudo |
| 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 | + |
0 commit comments