(texinfo-environment-regexp): Match @menu and
@titlepage --- they require @ends. Don't match @defunx commands; they don't. (texinfo-insert-@end): Don't put a command name after the @end if we ran off the top of the buffer looking for its mate.
Showing with 6 additions and 9 deletions