From 028de158153de94adfcb9d1e995259d833968951 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 31 Jul 2017 14:24:11 +0200 Subject: [general] Merge parsing with highparsing, put toplevel at the top of the linking chain. --- Makefile.doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.doc') diff --git a/Makefile.doc b/Makefile.doc index dd7717359..3f8ae3680 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -470,7 +470,7 @@ OCAMLDOC_MLLIBD = $(OCAMLFIND) ocamldoc -rectypes $(MLINCLUDES) $(ODOCDOTOPTS) - ml-doc: $(OCAMLFIND) ocamldoc -charset utf-8 -html -rectypes -I +threads $(MLINCLUDES) $(COQIDEFLAGS) -d $(OCAMLDOCDIR) $(MLSTATICFILES) -parsing/parsing.dot : | parsing/parsing.mllib.d parsing/highparsing.mllib.d +parsing/parsing.dot : | parsing/parsing.mllib.d $(OCAMLDOC_MLLIBD) grammar/grammar.dot : | grammar/grammar.mllib.d -- cgit v1.2.3