Bug#188150: tetex-doc: main tetex html-documentation sometimes links to uncompressed files, but compressed ones are installed

[Atsuhito Kohda <kohda@pm.tokushima-u.ac.jp>]

From: Hilmar Preusse <hille42@web.de>
Subject: Bug#188150: tetex-doc: main tetex html-documentation sometimes links to uncompressed files, but compressed ones are installed
Date: Thu, 10 Apr 2003 21:28:16 +0200

> fgrep \.dvi newhelpindex.html|grep -v gz :-)

Excellent!  I just patched newhelpindex.html in CVS
repository so this will be fixed with the next upload.

Thanks for your contribution!

				2003-4-11(Fri)
-- 
 Debian Developer & Debian JP Developer - much more I18N of Debian
 Atsuhito Kohda <kohda@debian.org>
 Department of Math., Tokushima Univ.