summaryrefslogtreecommitdiff
path: root/ghc/docs/storage-mgt/Makefile
blob: 871766d4fcb7ff557d78daa5560659aa6a6d17f4 (plain)
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
#	General makefile for Latex stuff

dvi: sm.dvi rp.dvi ldv.dvi
ps: sm.ps rp.ps ldv.ps

######## General rules
.SUFFIXES:
.PRECIOUS: %.tex %.ps %.bbl

#%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb *.fig))) $(wildcard *.bib)
%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb))) $(wildcard *.bib)
	latex $<
	@if grep -s "\citation" $*.aux; then bibtex $*; fi
	latex $<
	latex $<

%.ps: %.dvi
	dvips -f < $< > $@

clean:
	$(RM) *.aux *.log

distclean: clean
	$(RM) *.dvi *.ps *.bbl *.blg *.gz

maintainer-clean: distclean

# dummy targets
all:
boot:
install:
install-docs:
html:
chm:
HxS:

# End of file