[bug-gsrc] pexec, documention problem

[carl hansen]

[install] Running make install with DESTDIR in work/pexec-1.0rc8
make -C work/pexec-1.0rc8   install DESTDIR=/opt/gsrc/packages/pexec-1.0rc8-DEST
make[1]: Entering directory '/opt/gsrc/trunk/gnu/pexec/work/pexec-1.0rc8'
make -C src
make[2]: Entering directory '/opt/gsrc/trunk/gnu/pexec/work/pexec-1.0rc8/src'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/opt/gsrc/trunk/gnu/pexec/work/pexec-1.0rc8/src'
make -C doc info
make[2]: Entering directory '/opt/gsrc/trunk/gnu/pexec/work/pexec-1.0rc8/doc'
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
pexec.texi:154: node `Command line options' lacks menu item for
`Redirecting standard streams' despite being its Up target
pexec.texi:384: warning: node up `Execution using remote hosts' in
menu `General information' and in sectioning `Command line options'
differ
pexec.texi:154: node `Command line options' lacks menu item for
`Execution using remote hosts' despite being its Up target
pexec.texi:481: warning: node up `Mutual exclusions and atomic command
execution' in menu `General information' and in sectioning `Command
line options' differ
pexec.texi:154: node `Command line options' lacks menu item for
`Mutual exclusions and atomic command execution' despite being its Up
target
pexec.texi:597: warning: node up `Hypervisor mode' in menu `General
information' and in sectioning `Command line options' differ
pexec.texi:154: node `Command line options' lacks menu item for
`Hypervisor mode' despite being its Up target
pexec.texi:641: warning: node up `Logging' in menu `General
information' and in sectioning `Command line options' differ
pexec.texi:154: node `Command line options' lacks menu item for
`Logging' despite being its Up target
Makefile:33: recipe for target 'pexec.info' failed
make[2]: *** [pexec.info] Error 1
make[2]: Leaving directory '/opt/gsrc/trunk/gnu/pexec/work/pexec-1.0rc8/doc'
Makefile:51: recipe for target 'info' failed
make[1]: *** [info] Error 2
make[1]: Leaving directory '/opt/gsrc/trunk/gnu/pexec/work/pexec-1.0rc8'
../../gar.lib.mk:693: recipe for target
'install-work/pexec-1.0rc8/Makefile-DESTDIR' failed
make: *** [install-work/pexec-1.0rc8/Makefile-DESTDIR] Error 2