diff -r b4f4c08e1210 -r caf16813b1e8 INSTALL
--- a/INSTALL	Sun Feb 24 19:44:14 2013 +0100
+++ b/INSTALL	Sat Jul 21 10:18:57 2012 +0200
@@ -108,7 +108,7 @@
 
 -DGLPK_ROOT_DIR=DIRECTORY
 -DCOIN_ROOT_DIR=DIRECTORY
--DCPLEX_ROOT_DIR=DIRECTORY
+-DILOG_ROOT_DIR=DIRECTORY
 
   Install root directory prefixes of optional third party libraries.