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.
---
 Makefile.common | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index ca2cb8fee6..a59fbe676e 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -91,7 +91,7 @@ MKDIR:=install -d
 CORESRCDIRS:=\
   coqpp                                                                                 \
   config 	clib 		lib		kernel		kernel/byterun	library \
-  engine 	pretyping	interp	proofs	gramlib__pack 	parsing 	printing \
+  engine 	pretyping	interp	proofs	gramlib/.pack 	parsing 	printing \
   tactics 	vernac		stm		toplevel
 
 PLUGINDIRS:=\
@@ -119,7 +119,7 @@ BYTERUN:=$(addprefix kernel/byterun/, \
 
 CORECMA:=config/config.cma clib/clib.cma lib/lib.cma kernel/kernel.cma library/library.cma \
         engine/engine.cma pretyping/pretyping.cma interp/interp.cma proofs/proofs.cma \
-	gramlib__pack/gramlib.cma \
+	gramlib/.pack/gramlib.cma \
         parsing/parsing.cma printing/printing.cma tactics/tactics.cma vernac/vernac.cma \
         stm/stm.cma toplevel/toplevel.cma
 
-- 
cgit v1.2.3