1.1 --- a/INSTALL	Sun Feb 24 19:44:14 2013 +0100
     1.2 +++ b/INSTALL	Sat Jul 21 10:18:57 2012 +0200
     1.3 @@ -108,7 +108,7 @@
     1.4  
     1.5  -DGLPK_ROOT_DIR=DIRECTORY
     1.6  -DCOIN_ROOT_DIR=DIRECTORY
     1.7 --DCPLEX_ROOT_DIR=DIRECTORY
     1.8 +-DILOG_ROOT_DIR=DIRECTORY
     1.9  
    1.10    Install root directory prefixes of optional third party libraries.
    1.11