diff options
| -rw-r--r-- | tools/coq_makefile.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index abb348f3a..673827c9b 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -254,7 +254,7 @@ let include_dirs l = print "OCAMLLIBS:=-I $(CAMLP4LIB) "; print_list "\\\n " str_i; print "\n"; print "COQLIB:=$(shell $(COQBIN)coqtop -where 2> /dev/null)\n"; print "ifdef COQTOP # set COQTOP for compiling from Coq sources\n"; - print " COQBIN:=$(COQTOP)/bin\n"; + print " COQBIN:=$(COQTOP)/bin/\n"; print " COQSRCLIBS:=-I $(COQTOP)/kernel -I $(COQTOP)/lib \\ -I $(COQTOP)/library -I $(COQTOP)/parsing \\ -I $(COQTOP)/pretyping -I $(COQTOP)/interp \\ |