summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-04-19 15:51:55 +0200
committerLudovic Courtès <ludo@gnu.org>2019-04-19 17:46:40 +0200
commit24963c13075b07db0c4e6005df9cde3bb51b2e32 (patch)
tree4c76542ce07f3dfd1393aa92931e7db20850deaf /Makefile.am
parentea261dea0c581771b4cf297e983f7addc6807051 (diff)
maint: 'release' clears gettext-induced changes in doc/.
* Makefile.am (release): Run "git checkout ." in doc/
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am1
1 files changed, 1 insertions, 0 deletions
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 ; \