diff --git a/build.sh b/build.sh index d94b7a5d..919605b4 100755 --- a/build.sh +++ b/build.sh @@ -84,6 +84,14 @@ case "$1" in "$0" clean && "$0" man && "$0" web ;; + speeches) + for speech in doc/speeches/*tex; do + pdflatex $speech + pdflatex $speech + pdflatex $speech + done + ;; + web) cp README ${WEBDIR}/${WEBPAGE} rm -rf ${WEBDIR}/${WEBBASE}/man && mkdir ${WEBDIR}/${WEBBASE}/man