From b09751b9a1b48541acc9a2daaff9ebc453fc3bf7 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 16 Feb 2017 19:05:45 +0100
Subject: Removing spurious folder includes in coq_makefile.

---
 tools/coq_makefile.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 624b9ced7..4842a8915 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -50,9 +50,9 @@ let section s =
 let lib_dirs =
   ["kernel"; "lib"; "library"; "parsing";
    "pretyping"; "interp"; "printing"; "intf";
-   "proofs"; "tactics"; "tools"; "ltacprof";
+   "proofs"; "tactics"; "tools";
    "vernac"; "stm"; "toplevel"; "grammar"; "config";
-   "ltac"; "engine"]
+   "engine"]
 
 
 let usage () =
-- 
cgit v1.2.3