| 5 |
# $Id$ |
# $Id$ |
| 6 |
# |
# |
| 7 |
# $Log$ |
# $Log$ |
| 8 |
# Revision 1.4 2004/11/12 21:52:10 ahby |
# Revision 1.5 2004/11/12 22:45:01 ahby |
| 9 |
# grrrr |
# Fixed the release generation script again. |
| 10 |
|
# |
| 11 |
|
# Revision 1.5 2004/11/12 22:45:01 ahby |
| 12 |
|
# Fixed the release generation script again. |
| 13 |
# |
# |
| 14 |
# Revision 1.4 2004/11/12 21:52:10 ahby |
# Revision 1.4 2004/11/12 21:52:10 ahby |
| 15 |
# grrrr |
# grrrr |
| 90 |
all: $(OUTPUT) index.html |
all: $(OUTPUT) index.html |
| 91 |
|
|
| 92 |
dev: all |
dev: all |
| 93 |
/usr/local/bin/htmldiff -t $(PREVIOUS) index.html xhtml-print-diff.html |
/usr/local/bin/htmldiff -t $(PREVIOUS) index.html xhtml-basic-diff.html |
| 94 |
/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 |
| 95 |
ps2pdf xhtml-basic.ps xhtml-basic.pdf |
ps2pdf xhtml-basic.ps xhtml-basic.pdf |
| 96 |
|
|