[doc] Remove emacs mentions from INSTALL

Fixes #9418

1 files changed, 5 insertions, 9 deletions

diff --git a/INSTALL b/INSTALL
index 8d8efd4d4d..44ea195f59 100644
--- a/INSTALL
+++ b/INSTALL
@@ -113,9 +113,8 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
    "./configure -help". The main options accepted are:
 
 -prefix <dir>
-	Binaries, library, man pages and Emacs mode will be respectively
-	installed in <dir>/bin, <dir>/lib/coq, <dir>/man and
-	<dir>/lib/emacs/site-lisp
+	Binaries, library, and man pages will be respectively
+	installed in <dir>/bin, <dir>/lib/coq, and <dir>/man
 
 -bindir <dir>                   (default: /usr/local/bin)
         Directory where the binaries will be installed
@@ -126,9 +125,6 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
 -mandir <dir>                   (default: /usr/local/share/man)
         Directory where the Coq manual pages will be installed
 
--emacslib <dir>			(default: /usr/local/lib/emacs/site-lisp)
-	Directory where the Coq Emacs mode will be installed
-
 -arch <value>			(default is the result of the command "arch")
 	An arbitrary architecture name for your machine (useful when
 	compiling Coq on two different architectures for which the
@@ -175,9 +171,9 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
    it is recommended to compile in parallel, via make -jN where N is your number
    of cores.
 
-5- You can now install the Coq system. Executables, libraries, manual pages
-   and emacs mode are copied in some standard places of your system, defined at
-   configuration time (step 3). Just do
+5- You can now install the Coq system. Executables, libraries, and
+   manual pages are copied in some standard places of your system,
+   defined at configuration time (step 3). Just do
 
 	umask 022
        	make install