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

This reverts commit 24963c13075b07db0c4e6005df9cde3bb51b2e32.

This change had become unnecessary since
9ca5ff882e2ac4eaab02eb0fde545bd784af478b.
This commit is contained in:
Ludovic Courtès 2019-04-30 10:50:30 +02:00
parent d60225d5ca
commit 5dd0d1f8b3
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5

@ -714,7 +714,6 @@ system_flags = $(foreach system,$(1),-s $(system))
# 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 ; \