From 90f4f206f2d687cb98e13810fe39f82a6bcd4937 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sun, 28 Aug 2016 18:23:25 -0700 Subject: [PATCH] * 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 -- 2.7.4