Tue, 22 Apr 2008 18:12:58 +0200 Akos Ladanyi Convert the EPS files to PNG when generating the documentation