From f4936d8512c9035e0628f22c08d576ea9ef62ad0 Mon Sep 17 00:00:00 2001 From: Yannick Forster Date: Wed, 7 Feb 2018 10:47:59 +0100 Subject: Possible fix for issue #6697 --- tools/CoqMakefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in index ca02c983d..173eaae89 100644 --- a/tools/CoqMakefile.in +++ b/tools/CoqMakefile.in @@ -169,7 +169,8 @@ endif COQFLAGS?=-q $(OPT) $(COQLIBS) $(OTHERFLAGS) COQCHKFLAGS?=-silent -o $(COQLIBS) -COQDOCFLAGS?=-interpolate -utf8 $(COQLIBS_NOML) +COQDOCFLAGS?=-interpolate -utf8 +COQDOCLIBS?=$(COQLIBS_NOML) # The version of Coq being run and the version of coq_makefile that # generated this makefile -- cgit v1.2.3