Merge branch 'makefiles'
[prop.git] / docs / Makefile
blob5d6fe1a324de52080de3f743f933d80867de317c
1 TEX = refman.tex
2 DVI = refman.dvi
3 PS = refman.ps
4 RM = /bin/rm
5 INDEXSTYLE= bbind.ist
7 all: $(DVI) $(PS)
9 ps: $(PS)
11 again:
12 touch $(TEX)
13 bibtex refman
14 makeindex -s $(INDEXSTYLE) refman.idx
15 make
16 index:
17 makeindex -s $(INDEXSTYLE) refman.idx
18 html:
19 latex2html refman.tex
21 %.dvi: %.tex
22 latex $(@:.dvi=.tex)
23 %.ps: %.dvi
24 dvips $(@:.ps=.dvi) -o $@
26 spotless:
27 $(RM) -f *.dvi *.ps *.log *.aux *.blg *.bbl *.toc *.info