maint: 'release' now depends on 'dist', not 'distcheck'.

* Makefile.am (release): Depend on 'dist' instead of 'distcheck'.
This commit is contained in:
Ludovic Courtès 2017-05-14 22:14:59 +02:00
parent 6344e959ea
commit 73c791b8f3
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 4 additions and 1 deletions

View File

@ -589,7 +589,10 @@ GUIXSD_INSTALLATION_IMAGE_SIZE ?= 950MiB
#
# This 'release' target takes care of everything and copies the resulting
# files to $(releasedir).
release: distcheck
#
# XXX: Depend on 'dist' rather than 'distcheck' to work around the Gettext
# issue described at <https://savannah.gnu.org/bugs/index.php?51027>.
release: dist
cd po; git checkout .
@if ! git diff-index --quiet HEAD; then \
echo "There are uncommitted changes; stopping." >&2 ; \