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

gitster · gitster · commit eb94c587808e · 2016-06-09T10:20:59.000-07:00
diff --git 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
