maint: 'release' clears gettext-induced changes in doc/.

* Makefile.am (release): Run "git checkout ." in doc/
This commit is contained in:
Ludovic Courtès 2019-04-19 15:51:55 +02:00
parent ea261dea0c
commit 24963c1307
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 0 deletions

View File

@ -701,6 +701,7 @@ GUIX_SYSTEM_VM_IMAGE_BASE = guix-system-vm-image-$(PACKAGE_VERSION)
# issue described at <https://savannah.gnu.org/bugs/index.php?51027>.
release: dist
cd po; git checkout .
cd doc; git checkout .
@if ! git diff-index --quiet HEAD; then \
echo "There are uncommitted changes; stopping." >&2 ; \
exit 1 ; \