Reorder release target, to do disconnected ops first, and to avoid losing tags.

diff --git a/Makefile.am b/Makefile.am
index f1d1b4df43289c45cc57cbb396aaf73551f16693..aa4388603d3d8e9534c3453a290cfb1cfe51268a 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -47,13 +47,14 @@ release:
        ! git-tag -l $(tag) | grep $(PACKAGE) > /dev/null
        rm -f ChangeLog
        $(MAKE) ChangeLog distcheck
+       cd doc && ../build-aux/gendocs.sh -o ../$(htmldir)/manual/ $(PACKAGE) "GNU TLS"
        git commit -m Generated. ChangeLog
        git-tag -u b565716f! -m $(VERSION) $(tag)
+       git-push --tags
        gpg -b $(distdir).tar.bz2
        gpg --verify $(distdir).tar.bz2.sig
        scp $(distdir).tar.bz2{,.sig} igloo.linux.gr:~ftp/pub/gnutls/devel/
        ssh igloo.linux.gr 'cd ~ftp/pub/gnutls/devel/ && sha1sum *.tar.bz2 > CHECKSUMS'
-       cd doc && ../build-aux/gendocs.sh -o ../$(htmldir)/manual/ $(PACKAGE) "GNU TLS"
        cp -v $(distdir).tar.bz2{,.sig} $(htmldir)/releases/
        cp -v doc/reference/html/*.{html,png,css,devhelp} $(htmldir)/reference/
        cd $(htmldir) && cvs add -kb releases/$(distdir).tar.bz2{,.sig} && \