blob: 3737493386275609e0471eb80fcda5240663736d (
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
|
all: tools
cd manual; ${MAKE} all
# 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
|
