Make the dvi file depend on the recore theme.

diff --git a/Progress presentation/Makefile b/Progress presentation/Makefile
index c6a8a322ba623e4317b864226f8a5f3a7fb989a2..8592f9b1704751d10b768a0755867e3c395aaf6c 100755 (executable)
--- a/Progress presentation/Makefile
+++ b/Progress presentation/Makefile
@@ -8,7 +8,7 @@ REPEAT_TEXT = 'Rerun to get cross-references right'
 %.ps: %.svg
        inkscape $(addsuffix .svg,$(basename $@)) --export-ps=$@
 
-Presentation.dvi: *.tex
+Presentation.dvi: *.tex beamerthemerecore.sty
        latex '\scrollmode\input $(basename $@)' || exit 1; \
        while grep -s $(REPEAT_TEXT)  $(addsuffix .log,$(basename $@)) ; do \
                latex '\scrollmode\input $(basename $@)' || exit 1; \