Index: gcc/INSTALL/finalinstall.html |
diff --git a/gcc/INSTALL/finalinstall.html b/gcc/INSTALL/finalinstall.html |
index 35ac5373cad09e2d2a53ef2bca5ecd4bb503bff0..cce95598f1a8d853f951c648b676f7093cebd673 100644 |
--- a/gcc/INSTALL/finalinstall.html |
+++ b/gcc/INSTALL/finalinstall.html |
@@ -3,7 +3,7 @@ |
<title>Installing GCC: Final installation</title> |
<meta http-equiv="Content-Type" content="text/html"> |
<meta name="description" content="Installing GCC: Final installation"> |
-<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"> |
<!-- |
@@ -140,7 +140,7 @@ incomplete or out of date. Send a note to |
<a href="mailto:gcc@gcc.gnu.org">gcc@gcc.gnu.org</a> detailing how the information should be changed. |
<p>If you find a bug, please report it following the |
-<a href="../bugs.html">bug reporting guidelines</a>. |
+<a href="../bugs/">bug reporting guidelines</a>. |
<p>If you want to print the GCC manuals, do ‘<samp><span class="samp">cd </span><var>objdir</var><span class="samp">; make |
dvi</span></samp>’. You will need to have <samp><span class="command">texi2dvi</span></samp> (version at least 4.7) |