summaryrefslogtreecommitdiff
path: root/manual/presentation.sh
diff options
context:
space:
mode:
Diffstat (limited to 'manual/presentation.sh')
-rwxr-xr-xmanual/presentation.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/presentation.sh b/manual/presentation.sh
index 6771ba7c..980e1772 100755
--- a/manual/presentation.sh
+++ b/manual/presentation.sh
@@ -29,6 +29,8 @@ if ! $fast_mode; then
make -C PRESENTATION_Intro
make -C PRESENTATION_ExSyn
make -C PRESENTATION_ExAdv
+ make -C PRESENTATION_ExOth
+ make -C PRESENTATION_Prog
fi
set -ex