1paper.tex : paper.htex munge.exe overrides
2	./munge.exe -m';' overrides < $< > $@
3
4INCLUDES = ../proj1
5
6MAIN = ppLib
7
8munge.exe : $(MAIN).uo ppTheory.uo
9	$(protect $(HOLDIR)/bin/mkmunge.exe) $(MAIN)
10
11HOLHEAP = heap
12EXTRA_CLEANS = $(HOLHEAP) munge.exe paper.tex
13
14BARE_THYS = ../proj1/proj1ATheory
15DEPS = $(patsubst %,%.uo,$(BARE_THYS))
16
17$(HOLHEAP): $(DEPS)
18	$(protect $(HOLDIR)/bin/buildheap) -o $(HOLHEAP) $(BARE_THYS)
19
20holtexbasic.sty: $(HOLDIR)/src/TeX/holtexbasic.sty
21	$(CP) $< $@
22