summaryrefslogtreecommitdiff
path: root/manual/Makefile
blob: d866494dcd690a20c57dcd8b50e5b1aec131f8e6 (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
all: tools
	cd manual; ${MAKE} all
	${MAKE} tests
#	cd fpcl; ${MAKE} all

clean:
	cd manual; ${MAKE} clean
	cd tools; ${MAKE} clean
#	cd fpcl; ${MAKE} clean

release:
	cd manual; ${MAKE} release
#	cd fpcl; ${MAKE} release

.PHONY: tools
tools:
	cd tools; ${MAKE} clean; ${MAKE} all

# The pregen-etex target generates the latex files from the .etex
# files to ensure that this phase of the manual build process, which
# may execute OCaml fragments and expect certain outputs, is correct
pregen-etex: tools
	cd manual; $(MAKE) etex-files

# pregen builds both .etex files and the documentation of the standard library
pregen: tools
	cd manual; $(MAKE) files

# test the consistency of the manual and the compiler source
.PHONY:tests
tests:
	${MAKE} -C tests all