From d5422ccb9dc80094909564466c4fa4d32c87d6c2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 18 Nov 1999 15:01:48 +0000 Subject: More optimistic about byte comp. --- INSTALL | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index e562f34c..d03a8adb 100644 --- a/INSTALL +++ b/INSTALL @@ -47,9 +47,12 @@ Notes for Proof General Byte Compilation. ----------------- + Compilation of the Emacs lisp files improves efficiency but can -sometimes cause compatibility problems. You can compile Proof General -by typing 'make' in the directory where you installed it. +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. Site-wide Installation -- cgit v1.2.3