carl hansen <[email protected]> writes: > makeinfo pexec.texi > pexec.texi:157: warning: node up `General options' in menu `General > information' and in sectioning `Command line options' differ > pexec.texi:154: node `Command line options' lacks menu item for > `General options' despite being its Up target > pexec.texi:279: warning: node up `Redirecting standard streams' in > menu `General information' and in sectioning `Command line options' > differ > ...
That looks like a problem in their texi documentation. There have been some problems in other packages with the change to Texinfo 5, so I'm guessing that's the source of the problem. I recommend filing a bug report with the pexec maintainer. Meanwhile, I'll write a patch for GSRC. Thanks for catching this! -brandon -- Brandon Invergo http://brandon.invergo.net
pgpVx6HRuV1hD.pgp
Description: PGP signature
