From 65df310cb360613777c165ff3328ac075d4b0fc0 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Tue, 7 Dec 2021 13:06:27 +0100
Subject: load emacs mode for why3 in ~/.emacs.d

---
 home/config/emacs.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/home/config/emacs.nix b/home/config/emacs.nix
index 2308433..186d8e5 100644
--- a/home/config/emacs.nix
+++ b/home/config/emacs.nix
@@ -11,4 +11,6 @@
   };
 
   home.file.".spacemacs.d/init.el".source = ./dotfiles/spacemacs;
+  home.file.".emacs.d/private/layers/why3/local/why3".source =
+    "${pkgs.why3}/share/emacs/site-lisp";
 }
-- 
cgit v1.2.3