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

[guix-commits]

civodul pushed a commit to branch version-1.0.0
in repository guix.

commit 5dd0d1f8b3fc29d235eb25bb72a4b0d7160eba4d
Author: Ludovic Courtès <address@hidden>
Date:   Tue Apr 30 10:50:30 2019 +0200

    Revert "maint: 'release' clears gettext-induced changes in doc/."
    
    This reverts commit 24963c13075b07db0c4e6005df9cde3bb51b2e32.
    
    This change had become unnecessary since
    9ca5ff882e2ac4eaab02eb0fde545bd784af478b.
---
 Makefile.am | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index 45807af..deec100 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -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 ;                                              \