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