Update Makefile closer to 5.1

shakthimaan · Dec 15, 2023 · 56c0c16 · 56c0c16
1 parent e1c5267
commit 56c0c16
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/manual/src/library/Makefile b/manual/src/library/Makefile
@@ -1,9 +1,8 @@
 ROOTDIR = ../../..
 include $(ROOTDIR)/Makefile.common
-LD_PATH = $(ROOTDIR)/otherlibs/str $(ROOTDIR)/otherlibs/unix
 
-TOOLS = ../../tools
-TEXQUOTE = $(OCAMLRUN) $(TOOLS)/texquote2
+TEXQUOTE = $(ROOTDIR)/runtime/ocamlrun ../../tools/texquote2
+LD_PATH = $(ROOTDIR)/otherlibs/str $(ROOTDIR)/otherlibs/unix
 CAMLLATEX = $(OCAMLRUN) $(addprefix -I ,$(LD_PATH)) \
  $(ROOTDIR)/tools/caml-tex -repo-root $(ROOTDIR) -n 80 -v false