Index: gcc/INSTALL/index.html |
diff --git a/gcc/INSTALL/index.html b/gcc/INSTALL/index.html |
index 5fd9225af59e418e5e2d4da434f9f6375b04f30c..e0bfba8cd2d2edd95ba9b388106cedc5bb39aee1 100644 |
--- a/gcc/INSTALL/index.html |
+++ b/gcc/INSTALL/index.html |
@@ -3,7 +3,7 @@ |
<title>Installing GCC</title> |
<meta http-equiv="Content-Type" content="text/html"> |
<meta name="description" content="Installing GCC"> |
-<meta name="generator" content="makeinfo 4.13"> |
+<meta name="generator" content="makeinfo 4.12"> |
<link title="Top" rel="top" href="#Top"> |
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage"> |
<!-- |