kernel: TimingInfo to clamp -ve setup/edge-sensitive delays to zero

[yosys.git] / manual / presentation.sh

diff --git a/manual/presentation.sh b/manual/presentation.sh
index 530d0b8c0849e06c14645cc3f01ed2fd5a10a8aa..ca8a6c93c10af9f229ab7258799f380b6aa6b224 100755 (executable)
--- a/manual/presentation.sh
+++ b/manual/presentation.sh
@@ -24,9 +24,15 @@ done
 
 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