diff options
| author | Paul Eggert | 2016-08-28 18:23:25 -0700 |
|---|---|---|
| committer | Paul Eggert | 2016-08-28 18:23:47 -0700 |
| commit | 5214cc8e9d2a9cf461b8307daa2c15a5c9c69049 (patch) | |
| tree | 45e28a36dc48f3531195339b5fc441610e617487 | |
| parent | 91734c6bd33bab47c443ca23e6948e3a7900856b (diff) | |
| download | emacs-5214cc8e9d2a9cf461b8307daa2c15a5c9c69049.tar.gz emacs-5214cc8e9d2a9cf461b8307daa2c15a5c9c69049.zip | |
* INSTALL.REPO: Suggest Texinfo 4.13 or later.
| -rw-r--r-- | INSTALL.REPO | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.REPO b/INSTALL.REPO index 7497f1f2969..6fc9857b9da 100644 --- a/INSTALL.REPO +++ b/INSTALL.REPO | |||
| @@ -15,7 +15,7 @@ automake - at least the version specified near the start of | |||
| 15 | git - at least Git 1.7.1. If your repository was created by an older | 15 | git - at least Git 1.7.1. If your repository was created by an older |
| 16 | Git version, you may need to reclone it. | 16 | Git version, you may need to reclone it. |
| 17 | makeinfo - not strictly necessary, but highly recommended, so that | 17 | makeinfo - not strictly necessary, but highly recommended, so that |
| 18 | you can build the manuals. | 18 | you can build the manuals. GNU Texinfo 4.13 or later should work. |
| 19 | 19 | ||
| 20 | To use the autotools, run the following shell command to generate the | 20 | To use the autotools, run the following shell command to generate the |
| 21 | 'configure' script and some related files, and to set up your git | 21 | 'configure' script and some related files, and to set up your git |