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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
all: tools manual tests
# The tools and the tests are rebuilt each time in order to avoid issues with
# different compiler versions
tests: manual
$(MAKE) -C tests clean
$(MAKE) -C tests all
tools:
$(MAKE) -C tools clean
$(MAKE) -C tools all
$(MAKE) -C tests tools
manual: tools
$(MAKE) -C src all
pdf: tools
$(MAKE) -C src pdf
@echo "The generated manual is at ./src/texstuff/manual.pdf"
html: tools
$(MAKE) -C src html
@echo "The generated manual is at ./src/htmlman/index.html"
web: tools
$(MAKE) -C src web
release:
$(MAKE) -C src release
# 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
$(MAKE) -C src etex-files
# pregen builds both .etex files and the documentation of the standard library
pregen: tools
$(MAKE) -C src files
.PHONY: tests manual tools
.PHONY: clean
clean:
$(MAKE) -C src clean
$(MAKE) -C tools clean
$(MAKE) -C tests clean
.PHONY: distclean
distclean: clean
$(MAKE) -C src distclean
$(MAKE) -C tools distclean
$(MAKE) -C tests distclean
|
