Index: BOOK/cross-tools/common/gcc-final.xml
===================================================================
--- BOOK/cross-tools/common/gcc-final.xml	(revision fab8698263b3c7ce41bf50b9b8e881ec4d385eae)
+++ BOOK/cross-tools/common/gcc-final.xml	(revision 0b89da6d70fd15819d7dc9ac57e5adadf0462838)
@@ -68,6 +68,6 @@
   --disable-multilib --with-mpc=/cross-tools --with-mpfr=/cross-tools \
   --with-gmp=/cross-tools --with-cloog=/cross-tools \
-  --with-isl=/cross-tools --disable-isl-version-check --with-system-zlib \
-  --enable-checking=release --enable-libstdcxx-time</userinput></screen>
+  --with-isl=/cross-tools --with-system-zlib --enable-checking=release \
+  --enable-libstdcxx-time</userinput></screen>
 
     <variablelist os="bg">
Index: BOOK/cross-tools/common/gcc-static.xml
===================================================================
--- BOOK/cross-tools/common/gcc-static.xml	(revision fab8698263b3c7ce41bf50b9b8e881ec4d385eae)
+++ BOOK/cross-tools/common/gcc-static.xml	(revision 0b89da6d70fd15819d7dc9ac57e5adadf0462838)
@@ -72,5 +72,5 @@
   --disable-libsanitizer --disable-libquadmath --disable-threads \
   --disable-multilib --disable-target-zlib --with-system-zlib \
-  --disable-isl-version-check --enable-languages=c --enable-checking=release</userinput></screen>
+  --enable-languages=c --enable-checking=release</userinput></screen>
 
     <variablelist os="am">
@@ -153,12 +153,4 @@
 
       <varlistentry>
-        <term><parameter>--disable-isl-version-check</parameter></term>
-        <listitem>
-          <para>This prevents GCC from checking the version of the installed
-          ISL.</para>
-        </listitem>
-      </varlistentry>
-
-      <varlistentry>
         <term><parameter>--enable-languages=c</parameter></term>
         <listitem>
Index: BOOK/cross-tools/mips64-64/gcc-final.xml
===================================================================
--- BOOK/cross-tools/mips64-64/gcc-final.xml	(revision fab8698263b3c7ce41bf50b9b8e881ec4d385eae)
+++ BOOK/cross-tools/mips64-64/gcc-final.xml	(revision 0b89da6d70fd15819d7dc9ac57e5adadf0462838)
@@ -68,6 +68,6 @@
   --disable-multilib --with-mpc=/cross-tools --with-mpfr=/cross-tools \
   --with-gmp=/cross-tools --with-cloog=/cross-tools \
-  --with-isl=/cross-tools --disable-isl-version-check --with-system-zlib \
-  --enable-checking=release --enable-libstdcxx-time --with-abi=64</userinput></screen>
+  --with-isl=/cross-tools --with-system-zlib --enable-checking=release \
+  --enable-libstdcxx-time --with-abi=64</userinput></screen>
 
     <variablelist os="bg">
Index: BOOK/cross-tools/mips64-64/gcc-static.xml
===================================================================
--- BOOK/cross-tools/mips64-64/gcc-static.xml	(revision fab8698263b3c7ce41bf50b9b8e881ec4d385eae)
+++ BOOK/cross-tools/mips64-64/gcc-static.xml	(revision 0b89da6d70fd15819d7dc9ac57e5adadf0462838)
@@ -79,6 +79,6 @@
    --disable-libsanitizer --disable-libquadmath --disable-threads \
    --disable-multilib --disable-target-libiberty --disable-target-zlib \
-   --with-system-zlib --disable-isl-version-check --enable-languages=c \
-   --enable-checking=release --with-abi=64</userinput></screen>
+   --with-system-zlib --enable-languages=c --enable-checking=release \
+   --with-abi=64</userinput></screen>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/multilib/gcc-final.xml
===================================================================
--- BOOK/cross-tools/multilib/gcc-final.xml	(revision fab8698263b3c7ce41bf50b9b8e881ec4d385eae)
+++ BOOK/cross-tools/multilib/gcc-final.xml	(revision 0b89da6d70fd15819d7dc9ac57e5adadf0462838)
@@ -68,6 +68,6 @@
   --enable-long-long --enable-threads=posix --with-mpc=/cross-tools \
   --with-mpfr=/cross-tools --with-gmp=/cross-tools --with-cloog=/cross-tools \
-  --with-isl=/cross-tools --disable-isl-version-check --with-system-zlib \
-  --enable-checking=release --enable-libstdcxx-time</userinput></screen>
+  --with-isl=/cross-tools --with-system-zlib --enable-checking=release \
+  --enable-libstdcxx-time</userinput></screen>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/multilib/gcc-static.xml
===================================================================
--- BOOK/cross-tools/multilib/gcc-static.xml	(revision fab8698263b3c7ce41bf50b9b8e881ec4d385eae)
+++ BOOK/cross-tools/multilib/gcc-static.xml	(revision 0b89da6d70fd15819d7dc9ac57e5adadf0462838)
@@ -79,5 +79,5 @@
   --disable-libsanitizer --disable-libquadmath --disable-threads \
   --disable-target-zlib --with-system-zlib --with-isl=/cross-tools \
-  --disable-isl-version-check --enable-languages=c --enable-checking=release</userinput></screen>
+  --enable-languages=c --enable-checking=release</userinput></screen>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
