From ffc8dbe7f626581b60a32c53a6ccc5b14b88279f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 2 Oct 2000 17:45:26 +0000 Subject: Caveats about using elcs. --- INSTALL | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 474636e8..e8aee607 100644 --- a/INSTALL +++ b/INSTALL @@ -103,10 +103,12 @@ Byte Compilation. ----------------- Compilation of the Emacs lisp files improves efficiency but can -sometimes cause compatibility problems. It should be okay if you run -with the same version of Emacs that you compiled with. You can -compile Proof General by typing 'make' in the directory where you -installed it. Check the Makefile sets EMACS to your Emacs executable. +sometimes cause compatibility problems. It is not supported in this +release. If you want to experiment nonetheless, you can compile Proof +General by typing 'make' in the directory where you installed it. +This will result in lots of warnings and error messages most of which +can be ignored. Check the Makefile sets EMACS to your Emacs +executable. Site-wide Installation -- cgit v1.2.3