PDFTEX_OPT="-shell-escape -halt-on-error"
+set -ex
+
if ! $fast_mode; then
- md5sum *.aux *.snm *.nav *.toc > autoloop.old
+ ! md5sum *.aux *.snm *.nav *.toc > autoloop.old
make -C PRESENTATION_Intro
make -C PRESENTATION_ExSyn
+ make -C PRESENTATION_ExAdv
+ make -C PRESENTATION_ExOth
+ make -C PRESENTATION_Prog
fi
set -ex