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)

No differences found