update doc

Deducteam · Jan 3, 2023 · 4939b93 · 4939b93
1 parent cf9b021
commit 4939b93
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/doc/emacs.rst b/doc/emacs.rst
@@ -39,20 +39,13 @@ Installation
 ------------
 
 The ``lambdapi-mode`` can be installed from `MELPA
-<https://melpa.org>`__ using any package manager of Emacs
+<https://melpa.org>`__ using any package manager
 (``package.el``, `straight
-<https://github.com/raxod502/straight.el>`__, …).  Provided that Emacs
+<https://github.com/raxod502/straight.el>`__, …). Provided that Emacs
 is properly configured (see https://melpa.org/#/getting-started to
 configure Emacs to use MELPA), the mode can be installed with ``M-x
 package-install RET lambdapi-mode``.
 
-If you have `use-package`_, it can be automatically installed by
-adding to your configuration file:
-
-  .. code:: emacs-lisp
-
-     (use-package lambdapi-mode)
-
 Usage
 -----