Make the dvi file depend on the recore theme.
authorMatthijs Kooijman <kooijman@eris.recoresystems.com>
Fri, 27 Jun 2008 14:53:29 +0000 (16:53 +0200)
committerMatthijs Kooijman <kooijman@eris.recoresystems.com>
Fri, 27 Jun 2008 14:53:29 +0000 (16:53 +0200)
commit3de70c4f48f1998bd06326b04b8c4b8639624dfe
treeb6a59ef5813bf58f97441116bd9da0192598688c
parentbbe4bef67e47d38b3f593d991f3a867e82a9793d
Make the dvi file depend on the recore theme.
Progress presentation/Makefile