From 9f20e5a063cd268fdd91a3b827efac1f6f4cb4f4 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 28 Jan 2019 13:33:59 +0100 Subject: [doc] Remove emacs mentions from INSTALL Fixes #9418 --- INSTALL | 14 +++++--------- 1 file 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 - Binaries, library, man pages and Emacs mode will be respectively - installed in /bin, /lib/coq, /man and - /lib/emacs/site-lisp + Binaries, library, and man pages will be respectively + installed in /bin, /lib/coq, and /man -bindir (default: /usr/local/bin) Directory where the binaries will be installed @@ -126,9 +125,6 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). -mandir (default: /usr/local/share/man) Directory where the Coq manual pages will be installed --emacslib (default: /usr/local/lib/emacs/site-lisp) - Directory where the Coq Emacs mode will be installed - -arch (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 -- cgit v1.2.3