diff options
| author | Maxime Dénès | 2017-09-15 10:50:11 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-15 10:50:11 +0200 |
| commit | 4e2f3ff7d2f790435c9e1d3dfc4f26beff47ae8a (patch) | |
| tree | 12243f22532754ff89addf963679d034184e3602 /Makefile.doc | |
| parent | 9e6b192adcaadcdb1935a68f39ce5ea877562188 (diff) | |
| parent | 028de158153de94adfcb9d1e995259d833968951 (diff) | |
Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the top of the linking chain.
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.doc b/Makefile.doc index dd7717359e..3f8ae36800 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 |