From 678aaa19687be94c380e34fee81a9948e3307b9d Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 14 Oct 2020 21:23:59 +0200
Subject: Add flag -open Gramlib so that merlin works in gramlib with make.

---
 gramlib/.merlin.in | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 gramlib/.merlin.in

diff --git a/gramlib/.merlin.in b/gramlib/.merlin.in
new file mode 100644
index 0000000000..cf828efdb7
--- /dev/null
+++ b/gramlib/.merlin.in
@@ -0,0 +1,3 @@
+FLG -open Gramlib
+
+REC
-- 
cgit v1.2.3