Processing commands for control@bugs.debian.org: > forwarded 274508 Jean-Christophe Filliatre http://www.lri.fr/~filliatr/ Bug#274508: bibtex2html: Wrong page numbers in ToC of manual.ps.gz Noted your statement that Bug has been forwarded to Jean-Christophe Filliatre http://www.lri.fr/~filliatr/. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)