Emacs/michelson-mode: update header to comply with Emacs convention
Context
Emacs Lisp files that are meant to be distributed are expected to have a header following the convention described in the Emacs Lisp manual (see https://www.gnu.org/software/emacs/manual/html_node/elisp/Library-Headers.html#Library-Headers).
The main advantage of following this convention is that the header
fields are understood by the Emacs package manager so that
michelson-mode can be installed with the package-install-file
command (see https://www.gnu.org/software/emacs/manual/html_node/elisp/Simple-Packages.html#Simple-Packages).
Manually testing the MR
To test this manually:
- Follow the updated documentation to install michelson-mode in Emacs,
-
Configure a mockup client (with-tezos-client --base-dir /tmp/mockup create mockup
)- Not needed anymore thanks to !1984 (merged)
- Visit Michelson file with the
.tz
extension in Emacs - Check that the major mode in the mode line is
Michelson
- Check syntax highlighting
- Move point to an instruction to check that a
*Michelson*
buffer pops with a pair of stack types
Automatic testing
I don't think installing the Emacs Michelson mode is currently tested in the CI. It would probably slow the CI quite a bit because it would need to install Emacs and then testing the interactive features would probably be non-trivial.