Processing commands for control@bugs.debian.org: > forwarded 726252 bug-texinfo@gnu.org Bug #726252 [texinfo] makeinfo fail to process vera Set Bug forwarded-to-address to 'bug-texinfo@gnu.org'. > thanks Stopping processing here. Please contact me if you need assistance. -- 726252: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=726252 Debian Bug Tracking System Contact owner@bugs.debian.org with problems