From 60f0ee3472e8f245f7c7e57e2fa6f8b5bdfd4588 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 20 Jul 2022 09:19:04 +0200
Subject: [PATCH] [install] emacs files

---
 share/dune | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/share/dune b/share/dune
index 9e7a70b6c4f..0cd0930e72c 100644
--- a/share/dune
+++ b/share/dune
@@ -27,6 +27,11 @@
 ; Auto-Complete
 (autocomplete_frama-c as autocomplete_frama-c)
 (_frama-c as _frama-c)
+; Emacs
+(emacs/frama-c-init.el as emacs/frama-c-init.el)
+(emacs/frama-c-dev.el as emacs/frama-c-dev.el)
+(emacs/frama-c-recommended.el as emacs/frama-c-recommended.el)
+(emacs/acsl.el as emacs/acsl.el)
 ; Useful Makefiles
 (Makefile.common as Makefile.common)
 (Makefile.headers as Makefile.headers)
-- 
GitLab