summaryrefslogtreecommitdiff
path: root/INSTALL.REPO
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL.REPO')
-rw-r--r--INSTALL.REPO7
1 files changed, 4 insertions, 3 deletions
diff --git a/INSTALL.REPO b/INSTALL.REPO
index d950d1bb64c..be4feaf841d 100644
--- a/INSTALL.REPO
+++ b/INSTALL.REPO
@@ -15,12 +15,13 @@ 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:
+'configure' script and some related files, and to set up your git
+configuration:
- $ ./autogen.sh
+ $ ./autogen.sh all
You can then configure your build as follows: