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

(limited to '.merlin.in')

diff --git a/.merlin.in b/.merlin.in
index db7259dd6f..4d646842d8 100644
--- a/.merlin.in
+++ b/.merlin.in
@@ -40,8 +40,8 @@ S API
 B API
 S ide
 B ide
-S gramlib__pack
-B gramlib__pack
+S gramlib/.pack
+B gramlib/.pack
 
 S tools
 B tools
-- 
cgit v1.2.3