diff --git a/share/dune b/share/dune
index 9e7a70b6c4f75c90a17e2312775184cd4439fbe9..0cd0930e72caad60bd7c45afb750deac58141e1b 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)