* INSTALL: Small update.
diff --git a/INSTALL b/INSTALL
index 467df10..6bff2f9 100644
--- a/INSTALL
+++ b/INSTALL
@@ -70,6 +70,11 @@ I. From the command line
- make
- make install
+ If the configure script isn't run, try to add `unix' as a target
+ on the command line, e.g.:
+
+ - make setup unix CFG="--prefix=/opt/experimental"
+
- Windows: