diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-05-04 21:54:13 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-04 23:51:45 +0200 |
| commit | e6860b5e7f8ded96c1769dcff27dffb97587e3e2 (patch) | |
| tree | 41614d3cfbd0b03e542fac022b441ff6d87b2467 /.gitignore | |
| parent | 1d1ddf26d5c11aa732ccad4808d4c2d3424ff944 (diff) | |
build: Use Gnulib's 'git-version-gen'.
* Makefile.am (EXTRA_DIST, BUILT_SOURCES): Add $(top_srcdir)/.version.
($(top_srcdir)/.version, gen-tarball-version): New targets.
(dist-hook): Depend on 'gen-tarball-version'.
(.PHONY): Add 'gen-tarball-version'.
* build-aux/git-version-gen: New file, from Gnulib v0.1-1312-ga87d5e5c6.
* configure.ac: Use it in 'AC_INIT'. Use 'https' for the URL.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 1fc22d7e93..cff056a9d7 100644 --- a/.gitignore +++ b/.gitignore @@ -125,3 +125,4 @@ tmp /doc/os-config-lightweight-desktop.texi /nix/scripts/download /etc/indent-code.el +/.version |