michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(src/emacs/README.md): tell user that packages will be installed automatically. Closes #423.

Browse source
This commit is contained in:
Jeremy Avigad 2015-02-03 13:11:22 -05:00 committed by Leonardo de Moura
parent 875869fdbc
commit dc7b432482
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/README.md
View file

@ -28,6 +28,10 @@ to use full features of ``lean-mode``.
- [lua-mode][lua-mode]
- [mmm-mode][mmm-mode]
Both the optional and required packages will be installed for you
automatically the first time you use ``lean-mode``, if you follow the
installation instructions below.
[company]: http://company-mode.github.io/
[flycheck]: http://flycheck.readthedocs.org/en/latest
[fci]: https://github.com/alpaker/Fill-Column-Indicator