From bdeccec95e1d018ffb18af9209060a9806d0235a Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 25 May 2012 12:50:13 +0000
Subject: Bugs revealed by playing with contribs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15364 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index b9113c08e3..5105ac6c90 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -201,7 +201,7 @@ let install_doc some_vfiles some_mlifiles (_,inc_r) =
 	       if some_mlifiles then install_one_kind "mlihtml" rt;
 	   end else begin
 	     prerr_string "Warning: -R options don't have a correct common prefix,
- install-doc will put anything in $INSTALLDEFAULTROOT";
+ install-doc will put anything in $INSTALLDEFAULTROOT\n";
 	   if some_vfiles then install_one_kind "html" "$(INSTALLDEFAULTROOT)";
 	   if some_mlifiles then install_one_kind "mlihtml" "$(INSTALLDEFAULTROOT)";
 	   end in
-- 
cgit v1.2.3