diff index.html @ 3007:229ab69bba2d

use texinfo 4.13a for build-texinfo package
author John W. Eaton <jwe@octave.org>
date Thu, 30 May 2013 14:54:37 -0400
parents b994e523cfac
children 75e142c0004b
line wrap: on
line diff
--- a/index.html	Thu May 30 13:28:23 2013 -0400
+++ b/index.html	Thu May 30 14:54:37 2013 -0400
@@ -1010,7 +1010,7 @@
     </tr>
     <tr>
         <td id="build-texinfo-package">texinfo</td>
-        <td id="build-texinfo-version">5.1</td>
+        <td id="build-texinfo-version">4.13a</td>
         <td id="build-texinfo-website"><a href="http://www.gnu.org/software/texinfo">texinfo</a></td>
     </tr>
     <tr>