From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 9 Jun 2016 17:20:59 +0000 (-0700)
Subject: Meta/pushall: publish HTML docs to GitHub Pages, too
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eb94c587808e83261ce65cd317802c2d86dac1e8;p=thirdparty%2Fgit.git

Meta/pushall: publish HTML docs to GitHub Pages, too
---

diff --git a/pushall b/pushall
index 4f7a904536..782680d229 100755
--- a/pushall
+++ b/pushall
@@ -45,5 +45,6 @@ case "$#,$*" in
 		printf "%s: " "$topic"
 		( cd ../git-$topic.git && git push "$@") || exit
 	done
+	test "$1" = '-n' || ( cd ../git-htmldocs.git && git push gh-pages )
 	;;
 esac