From 24963c13075b07db0c4e6005df9cde3bb51b2e32 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Fri, 19 Apr 2019 15:51:55 +0200
Subject: [PATCH] maint: 'release' clears gettext-induced changes in doc/.

* Makefile.am (release): Run "git checkout ." in doc/
---
 Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.am b/Makefile.am
index 8d523262cb..93203f0c81 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -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 ;						\