diff options
Diffstat (limited to 'home')
| -rw-r--r-- | home/config/emacs.nix | 2 |
1 files changed, 2 insertions, 0 deletions
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"; } |