diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2016-08-28 18:23:25 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-08-28 18:23:47 -0700 |
| commit | 5214cc8e9d2a9cf461b8307daa2c15a5c9c69049 (patch) | |
| tree | 45e28a36dc48f3531195339b5fc441610e617487 /INSTALL.REPO | |
| parent | 91734c6bd33bab47c443ca23e6948e3a7900856b (diff) | |
* INSTALL.REPO: Suggest Texinfo 4.13 or later.
Diffstat (limited to 'INSTALL.REPO')
| -rw-r--r-- | INSTALL.REPO | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.REPO b/INSTALL.REPO index 7497f1f296..6fc9857b9d 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 |