summary refs log tree commit diff
path: root/manual/install.texi
diff options
context:
space:
mode:
Diffstat (limited to 'manual/install.texi')
-rw-r--r--manual/install.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/install.texi b/manual/install.texi
index 4b9eb13ab9..cf3023b3f0 100644
--- a/manual/install.texi
+++ b/manual/install.texi
@@ -309,7 +309,7 @@ For PPC you might need some patches even on top of the last binutils
 version.  See the FAQ.
 
 @item
-GNU @code{texinfo} 3.11
+GNU @code{texinfo} 3.12f
 
 To correctly translate and install the Texinfo documentation you need
 this version of the @code{texinfo} package.  Earlier versions do not