Processing commands for control@bugs.debian.org: > retitle 93781 texdoc prefers compressed over uncompressed documents Bug#93781: tetex-bin: texdoc Changed Bug title. > thanks Stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)