Bug#68550: tetex-bin contains /usr/share/info/dir.gz

[Marius Vollmer <mvo@zagadka.ping.de>]

Package: tetex-bin
Version: 1.0.6-4

The package tetex-bin, version 1.0.6-4, contains the file

    /usr/share/info/dir.gz

However, this file is unused since install-info maintains the file
/usr/share/info/dir, which shadows /usr/share/info/dir.gz.  It is
confusing to have an unused dir.gz and tetex-bin seems not to be the
right package to host such a system-wide file, if at all.