Processing commands for control@bugs.debian.org: > found 726252 6.5.0.dfsg.1-5 Bug #726252 [texinfo] makeinfo fail to process vera Marked as found in versions texinfo/6.5.0.dfsg.1-5. > stop Stopping processing here. Please contact me if you need assistance. -- 726252: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=726252 Debian Bug Tracking System Contact owner@bugs.debian.org with problems