17 |
|
|
18 |
SOURCE = |
SOURCE = |
19 |
|
|
20 |
OUTPUT = xhtml-basic11-f.dtd |
OUTPUT = |
21 |
|
|
22 |
PREVIOUS = /var/www/html/htmlwg/archives/REC-xhtml-basic-20001219/index.html |
PREVIOUS = /var/www/html/htmlwg/ED-xhtml-basic-20060913/index.html |
23 |
|
PREVIOUSREC = /var/www/html/htmlwg/archives/REC-xhtml-basic-20001219/index.html |
24 |
|
|
25 |
all: $(OUTPUT) index.html |
all: $(OUTPUT) index.html |
26 |
|
|
27 |
dev: all |
dev: all |
28 |
/usr/local/bin/htmldiff -t $(PREVIOUS) index.html xhtml-basic-diff.html |
/usr/local/bin/htmldiff -t $(PREVIOUS) index.html xhtml-basic-diff.html |
29 |
|
/usr/local/bin/htmldiff -t $(PREVIOUSREC) index.html xhtml-basic-rec-diff.html |
30 |
/usr/local/bin/html2ps -f html2ps.conf -o xhtml-basic.ps index.html |
/usr/local/bin/html2ps -f html2ps.conf -o xhtml-basic.ps index.html |
31 |
ps2pdf xhtml-basic.ps xhtml-basic.pdf |
ps2pdf xhtml-basic.ps xhtml-basic.pdf |
32 |
|
|