diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2022-11-08 15:17:24 +0100 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2022-11-08 15:17:24 +0100 |
commit | dbf039b2c2d5aef8f79741757ddd96f4da0c785c (patch) | |
tree | f287a0f4098d0a639fc0d3fa026c69232a680c51 /manual | |
parent | 865bf2971030225c1dd53719ec5b3ed3943f87e0 (diff) | |
download | ocaml-dbf039b2c2d5aef8f79741757ddd96f4da0c785c.tar.gz |
manual: fix build by including the common Makefile
Diffstat (limited to 'manual')
-rw-r--r-- | manual/src/library/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/src/library/Makefile b/manual/src/library/Makefile index 4bbe6f4fac..1b6db7c4af 100644 --- a/manual/src/library/Makefile +++ b/manual/src/library/Makefile @@ -1,4 +1,5 @@ ROOTDIR = ../../.. +include $(ROOTDIR)/Makefile.common TEXQUOTE = $(ROOTDIR)/runtime/ocamlrun ../../tools/texquote2 CAMLLATEX = $(OCAMLRUN) $(addprefix -I ,$(LD_PATH)) \ |