From e578ac608eda22f942ce9ab79619f78737ba625c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 28 Feb 2015 20:48:13 +0100
Subject: [PATCH] use less unexplainable flags for Coq

---
 .dir-locals.el             | 2 +-
 Makefile                   | 2 +-
 lib/ModuRes/.dir-locals.el | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.dir-locals.el b/.dir-locals.el
index ee8453446..e9d4c92f0 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "lib/ModuRes/" "ModuRes"))))
+   (rec "." "_"))))
 
 
diff --git a/Makefile b/Makefile
index ce98c7d60..692434193 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ $(call includecmdwithout@,$(COQBIN)coqtop -config)
 #                        #
 ##########################
 
-COQLIBS?=-I . -R lib/ModuRes ModuRes
+COQLIBS?=-I . -R . _
 COQDOCLIBS?=-I lib
 
 ##########################
diff --git a/lib/ModuRes/.dir-locals.el b/lib/ModuRes/.dir-locals.el
index 44673b5a4..a13fe1a9d 100644
--- a/lib/ModuRes/.dir-locals.el
+++ b/lib/ModuRes/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "./" "ModuRes"))))
+   (rec "../../" "_"))))
 
 
-- 
GitLab