Bug#726252: makeinfo fail to process vera

2019-07-06 Thread Hilmar Preuße
reassign 726252 src:vera notforwarded 726252 stop On 13.10.13 23:07, Bill Allombert wrote: Hi, > makeinfo fails to process vera: > The vera.texi reads: "Version 7.7 (Texinfo release 1.21a) is a bug fix release. V.E.R.A. would not compile correctly with recent versions of @file{makeinfo}. This

Bug#726252: makeinfo fail to process vera

2013-10-13 Thread Bill Allombert
Package: texinfo Version: 5.2.0.dfsg.1-1 Severity: important makeinfo fails to process vera: vera.texi:186: warning: unreferenced node `0' vera.texi:104: node `Top' lacks menu item for `0' despite being its Up target vera.texi:195: warning: unreferenced node `A' vera.texi:104: node `Top' lacks me