make sure build.sh also generates pdf