[Emacs-diffs] master 5214cc8: * INSTALL.REPO: Suggest Texinfo 4.13 or later.

[Paul Eggert]

branch: master
commit 5214cc8e9d2a9cf461b8307daa2c15a5c9c69049
Author: Paul Eggert <address@hidden>
Commit: Paul Eggert <address@hidden>

    * INSTALL.REPO: Suggest Texinfo 4.13 or later.
---
 INSTALL.REPO |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.REPO b/INSTALL.REPO
index 7497f1f..6fc9857 100644
--- 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