summaryrefslogtreecommitdiff
path: root/manual/src/library/Makefile
blob: 4bbe6f4fac4762f3a9f951036ff2107eedfbd2f7 (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
ROOTDIR = ../../..

TEXQUOTE = $(ROOTDIR)/runtime/ocamlrun ../../tools/texquote2
CAMLLATEX = $(OCAMLRUN) $(addprefix -I ,$(LD_PATH)) \
  $(ROOTDIR)/tools/ocamltex -repo-root $(ROOTDIR) -n 80 -v false

FILES = core.tex builtin.tex stdlib-blurb.tex compilerlibs.tex \
  libunix.tex libstr.tex old.tex libthreads.tex libdynlink.tex \
  libruntime_events.tex

etex-files: $(FILES)
all: etex-files

%.gen.tex: %.etex
	$(CAMLLATEX) $< -o $@

%.tex: %.gen.tex
	$(TEXQUOTE) < $< > $*.texquote_error.tex
	mv $*.texquote_error.tex $@


.PHONY: clean
clean:
	rm -f *.tex ocamldoc.out ocamldoc.sty

.PHONY: distclean
distclean: clean