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

2016-06-09 10:20:59 -07:00 · 2016-06-09 10:20:59 -07:00 · eb94c58780
parent 33678c59ed
commit eb94c58780
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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