Add PDF documents in push-to-pages.sh.