From eb94c587808e83261ce65cd317802c2d86dac1e8 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 9 Jun 2016 10:20:59 -0700
Subject: [PATCH] Meta/pushall: publish HTML docs to GitHub Pages, too

---
 pushall | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.47.3