summaryrefslogtreecommitdiff
path: root/manual/presentation.sh
diff options
context:
space:
mode:
Diffstat (limited to 'manual/presentation.sh')
-rwxr-xr-xmanual/presentation.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/presentation.sh b/manual/presentation.sh
index 6719f916..6771ba7c 100755
--- a/manual/presentation.sh
+++ b/manual/presentation.sh
@@ -28,6 +28,7 @@ if ! $fast_mode; then
md5sum *.aux *.snm *.nav *.toc > autoloop.old
make -C PRESENTATION_Intro
make -C PRESENTATION_ExSyn
+ make -C PRESENTATION_ExAdv
fi
set -ex