From 1419bb9ddd1299673707404f1f35b4904648760b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 12 Jul 2018 18:48:28 +0200
Subject: [dev] Autogenerate OCaml dev files.

For now we only copy the templates, but we could do more fancy stuff.

This helps to be compatible with build systems that take care of these
files automatically, see:
https://github.com/coq/coq/pull/6857#discussion_r202096579
---
 ide/.merlin    | 6 ------
 ide/.merlin.in | 6 ++++++
 2 files changed, 6 insertions(+), 6 deletions(-)
 delete mode 100644 ide/.merlin
 create mode 100644 ide/.merlin.in

(limited to 'ide')

diff --git a/ide/.merlin b/ide/.merlin
deleted file mode 100644
index 953b5dce4..000000000
--- a/ide/.merlin
+++ /dev/null
@@ -1,6 +0,0 @@
-PKG unix laglgtk2 lablgtk2.sourceview2
-
-S utils
-B utils
-
-REC
diff --git a/ide/.merlin.in b/ide/.merlin.in
new file mode 100644
index 000000000..953b5dce4
--- /dev/null
+++ b/ide/.merlin.in
@@ -0,0 +1,6 @@
+PKG unix laglgtk2 lablgtk2.sourceview2
+
+S utils
+B utils
+
+REC
-- 
cgit v1.2.3