From 95903cc3bcb9aed92459e644d295be4d9ca25405 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 16 Sep 2015 07:41:03 +0200
Subject: Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug
 #3603)

---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 934a632dd1..d3374675d2 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -769,7 +769,7 @@ let ensure_root_dir (v,(mli,ml4,ml,mllib,mlpack),_,_) ((ml_inc,i_inc,r_inc) as l
 	&& not_tops mllib && not_tops mlpack) then
     l
   else
-    ((".",here)::ml_inc,(".","Top",here)::i_inc,r_inc)
+    ((".",here)::ml_inc,i_inc,(".","Top",here)::r_inc)
 
 let warn_install_at_root_directory
     (vfiles,(mlifiles,ml4files,mlfiles,mllibfiles,mlpackfiles),_,_) (inc_ml,inc_i,inc_r) =
-- 
cgit v1.2.3