Processing commands for control@bugs.debian.org: > reassign 71325 tetex-bin Bug#71325: texi2dvi does not work without --pdf option Bug reassigned from package `texinfo' to `tetex-bin'. > severity 71325 normal Bug#71325: texi2dvi does not work without --pdf option Severity set to `normal'. > thanks Stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)