From ab45d0499f541884d009654d99c5014508c7c5bd Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Tue, 30 May 2017 12:08:03 +0200 Subject: [PATCH] Install utop.el too --- jbuild | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/jbuild b/jbuild index c9633c7..2b60363 100644 --- a/jbuild +++ b/jbuild @@ -4,6 +4,10 @@ ((section share) (files (utoprc-dark utoprc-light)))) +(install + ((section share_root) + (files ((src/top/utop.el as emacs/site-lisp/utop.el))))) + (alias ((name examples) (deps (examples/custom-utop/myutop.bc