aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL3
1 files changed, 3 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index f0065e0e..93ecb827 100644
--- a/INSTALL
+++ b/INSTALL
@@ -122,6 +122,9 @@ His brief summary is:
1. Install X11 or OroborOSX.
2. Install XEmacs, or install GNU Emacs and recompile Proof General.
+If you use XEmacs bear in mind the note below (if you are using fink,
+install xemacs-sumo-pkg).
+
Dependency on Other Emacs Packages
----------------------------------