push.sh: Comment out rst2html output.