* INSTALL.REPO: Suggest Texinfo 4.13 or later.

diff --git a/INSTALL.REPO b/INSTALL.REPO
index 7497f1f29691d410cec72f5e7456293c57c871eb..6fc9857b9da8f394771648cd45caf22947d4d76c 100644 (file)
--- a/INSTALL.REPO
+++ b/INSTALL.REPO
@@ -15,7 +15,7 @@ automake  - at least the version specified near the start of
 git - at least Git 1.7.1.  If your repository was created by an older
   Git version, you may need to reclone it.
 makeinfo  - not strictly necessary, but highly recommended, so that
-  you can build the manuals.
+  you can build the manuals.  GNU Texinfo 4.13 or later should work.
 
 To use the autotools, run the following shell command to generate the
 'configure' script and some related files, and to set up your git