diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
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 ; \ |