diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-30 10:50:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-30 10:50:30 +0200 |
| commit | 5dd0d1f8b3fc29d235eb25bb72a4b0d7160eba4d (patch) | |
| tree | 39c1cd04e658cecf210be044a358651aa8204a2b /Makefile.am | |
| parent | d60225d5caabfb6409e3277c0512cd4c0fa63d72 (diff) | |
| download | gnu-guix-5dd0d1f8b3fc29d235eb25bb72a4b0d7160eba4d.tar gnu-guix-5dd0d1f8b3fc29d235eb25bb72a4b0d7160eba4d.tar.gz | |
Revert "maint: 'release' clears gettext-induced changes in doc/."
This reverts commit 24963c13075b07db0c4e6005df9cde3bb51b2e32.
This change had become unnecessary since
9ca5ff882e2ac4eaab02eb0fde545bd784af478b.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 45807af8b8..deec100c3c 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 ; \ |