Help emacs users a little more

README.md

@@ -141,7 +141,8 @@ Editor support
 **Emacs Mode**
 [editors/sail-mode.el](editors/sail-mode.el) contains an Emacs mode
 for the most recent version of Sail which provides some basic syntax
-highlighting.
+highlighting.  If you use the opam package with user-setup, then it
+should be sufficient to add `(require 'sail-mode)` to your `.emacs`.
 
 **VSCode Mode**
 [editors/vscode](editors/vscode) contains a Visual Studio Code mode

src/bin/dune

@@ -293,3 +293,9 @@
   (%{workspace_root}/src/sail_lean_backend/Sail/SpecializationArchSem.lean
    as
    src/sail_lean_backend/Sail/SpecializationArchSem.lean)))
+
+(install
+ (files
+  (%{workspace_root}/editors/sail-mode.el as emacs/site-lisp/sail-mode.el))
+ (section share_root)
+ (package sail))

src/sail_lsp/README.md

@@ -30,6 +30,18 @@ vim.filetype.add({
 })
 ```
 
+For emacs you can add the following to your `.emacs` file after
+loading sail-mode:
+
+```elisp
+(require 'lsp-mode)
+(add-to-list 'lsp-language-id-configuration '(sail-mode . "sail"))
+(lsp-register-client (make-lsp-client
+                      :new-connection (lsp-stdio-connection "sail_lsp")
+                      :activation-fn (lsp-activate-on "sail")
+                      :server-id 'saillsp))
+```
+
 ### Build
 
 Use `make lsp` or `make lsp_install` from the repository root.