Bug Report
With texinfo 7.2, a missing @end verbatim has become an error, leading to a cascade of further errors:
check.texi:2329: no matching `@end verbatim'
check.texi:2140: Next reference to nonexistent `Conclusion and References'
check.texi:73: @menu reference to nonexistent node `Conclusion and References'
check.texi:74: @menu reference to nonexistent node `Environment Variable Reference'
check.texi:75: @menu reference to nonexistent node `Copying This Manual'
check.texi:76: @menu reference to nonexistent node `Index'
check.texi:124: @detailmenu reference to nonexistent node `GNU Free Documentation License'
check.texi:1510: warning: node next pointer for `Selective Running of Tests' is `Testing Signal Handling and Exit Values' but next is `Selecting Tests by Suite or Test Case' in menu
check.texi:1610: warning: node prev pointer for `Testing Signal Handling and Exit Values' is `Selective Running of Tests' but prev is `Selecting Tests Based on Arbitrary Tags' in menu
check.texi:2051: warning: node prev pointer for `TAP Logging' is `Test Logging' but prev is `XML Logging' in menu
After fixing that, some menu and navigation problems are unmasked:
check.texi:1510: warning: node next pointer for `Selective Running of Tests' is `Testing Signal Handling and Exit Values' but next is `Selecting Tests by Suite or Test Case' in menu
check.texi:1610: warning: node prev pointer for `Testing Signal Handling and Exit Values' is `Selective Running of Tests' but prev is `Selecting Tests Based on Arbitrary Tags' in menu
check.texi:2051: warning: node prev pointer for `TAP Logging' is `Test Logging' but prev is `XML Logging' in menu
Checklist
The Bare Minimum
Bug Report
With texinfo 7.2, a missing
@end verbatimhas become an error, leading to a cascade of further errors:After fixing that, some menu and navigation problems are unmasked:
Checklist
The Bare Minimum