1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
HEVEA = hevea -exec xxdate.exe
HVAOPT = -fix
DOCSOURCES=manual.tex manual.sty caml.eps version.tex Makefile
DOCFORMATS=dvi ps pdf html info
all: FILES
FILES: $(addprefix whizzytex., dvi ps pdf html info) Makefile
cd ..; \
ls $(addprefix doc/whizzytex., dvi ps pdf html info) \
doc/whizzytex00?.gif doc/whizzytex.info-* \
$(addprefix doc/, $(DOCSOURCES)) \
> doc/$@
manual.hva: manual.sty
ln -s $< $@
whizzytex.dvi: manual.tex version.tex
latex $<
latex $<
mv manual.dvi $@
whizzytex.ps: whizzytex.dvi
latex '\def\driver{dvips}\input' manual.tex
dvips -o $@ manual.dvi
whizzytex.pdf: whizzytex.ps
ps2pdf $<
whizzytex.html: manual.tex manual.hva whizzytex.dvi
$(HEVEA) $(HVAOPT) -o $@ $< && \
imagen whizzytex
whizzytex.info: manual.tex
$(HEVEA) $(HVAOPT) -info -o $@ $<
clean:
rm -f whizzytex.{log,image.*,h{aux,toc}}
rm -f manual.{aux,log,dvi,toc,dview,wiz,fmt}
distclean: clean
rm -f whizzytex.{dvi,ps,pdf,html,info} manual.hva
|
