From e3a2a5d4fc3ad29462f2e4548c32ac00b4fbd05f Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 26 Nov 2018 15:04:09 +0100
Subject: Rename generated directory gramlib__pack -> gramlib/.pack

It's a bit cleaner this way, especially wrt the number of toplevel directories.

Also fix warning about undefined GRAMMARCMA while we're at it.
---
 dev/ocamldebug-coq.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.run b/dev/ocamldebug-coq.run
index c1dcabb743..a11269e059 100644
--- a/dev/ocamldebug-coq.run
+++ b/dev/ocamldebug-coq.run
@@ -17,7 +17,7 @@ exec $OCAMLDEBUG \
     -I +threads \
     -I $COQTOP \
     -I $COQTOP/config -I $COQTOP/printing -I $COQTOP/grammar -I $COQTOP/clib \
-    -I $COQTOP/gramlib__pack \
+    -I $COQTOP/gramlib/.pack \
     -I $COQTOP/lib -I $COQTOP/kernel -I $COQTOP/kernel/byterun \
     -I $COQTOP/library -I $COQTOP/engine \
     -I $COQTOP/pretyping -I $COQTOP/parsing -I $COQTOP/vernac \
-- 
cgit v1.2.3