diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2016-02-02 23:11:36 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-02-02 23:14:30 -0800 |
commit | aca31e3815b9bd9c696cf0c74cc4a80ad7e35ec9 (patch) | |
tree | 5c32bcba93ddbbc019705fa22e900237d848644a /INSTALL.REPO | |
parent | b50075dd056b1c18afe96f29142981fe5774ceb1 (diff) | |
download | emacs-aca31e3815b9bd9c696cf0c74cc4a80ad7e35ec9.tar.gz |
autogen.sh now configures git only on request
* autogen.sh (do_autoconf, do_git): New vars.
Support new arguments --help, all, autoconf, git.
By default, just do autoconf-related configuration, not git.
Prefer 'echo' to 'cat <<EOF ...', as this tends to avoid temp files.
If GNU cp is available, use it to backup .git/config before
changing it. When configuring git, chatter about what is being
done, and configure git to check hashes. Avoid some duplicate
file name specification when creating git hooks.
* GNUmakefile (ALL_IF_GIT): New macro.
(configure): Use it.
* INSTALL.REPO: Suggest './autogen.sh all'.
Diffstat (limited to 'INSTALL.REPO')
-rw-r--r-- | INSTALL.REPO | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/INSTALL.REPO b/INSTALL.REPO index 1720758928c..7497f1f2969 100644 --- a/INSTALL.REPO +++ b/INSTALL.REPO @@ -18,9 +18,10 @@ makeinfo - not strictly necessary, but highly recommended, so that you can build the manuals. 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: |