| 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 |
|
|