Make the dvi file depend on the recore theme.
[matthijs/projects/internship.git] / Progress presentation /
drwxr-xr-x   ..
-rwxr-xr-x 504 Makefile
-rwxr-xr-x 24923 Presentation.tex
-rwxr-xr-x 2795 beamerthemerecore.sty
drwxr-xr-x - images