diff options
author | Peter Simons <simons@cryp.to> | 2009-07-24 23:37:39 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2009-07-24 23:40:58 +0200 |
commit | 5c040b86a86f3c35b4d8b7ae80b0dc66f3b7e884 (patch) | |
tree | 06b0f6451c4080aeff50434b32d25f0d11037463 /.gitignore | |
parent | 1175b7008982c425cd73d58044581e42f4533610 (diff) | |
download | autoconf-archive-5c040b86a86f3c35b4d8b7ae80b0dc66f3b7e884.tar.gz |
gnulib: deleted submodule
The announce-gen script needs access to the gnulib repository in order
to determine the library's version string. The default location, where
gnulib is expected to be, is $srcdir/gnulib. Quoting from maint.mk:
gnulib_dir ?= $(srcdir)/gnulib
gnulib-version = $$(cd $(gnulib_dir) && git describe)
At first, it looked like adding gnulib as a submodule to that location
would be a good idea (especially, since it's needed to bootstrap, too).
After some thought, however, it feels like overkill. Submodules are
meant to track the state of the other repository in the current branch,
but we don't really need that information. We just need some moderately
recent version of gnulib-tool somewhere in $PATH; that's good enough.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -22,3 +22,4 @@ /config.status /configure /maint.mk +/gnulib |