Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:

> While attempting to learn what I could do with guild, I stumbled on the following:
>
> guild help
> Usage: guild COMMAND [ARGS]
> Run command-line scripts provided by GNU Guile and related programs.
>
> [...]
>
> Report guild bugs to bug-guile@gnu.org
> GNU Guile home page: <http://www.gnu.org/software/guile/>
> General help using GNU software: <http://www.gnu.org/gethelp/>
> For complete documentation, run: info guile 'Using Guile Tools'
>
> Running 'info guile 'Using Guile Tools' brings us to the top of the
> Guile Reference Manual with the following warning in the mini-buffer:
>
> No menu item 'Using Guile Tools' in node '(guile.info.gz)Top'.
>

Apparently, there *is* a node 'Using Guile Tools', but its reference
in the help should read as

    info '(guile)Using Guile Tools'

instead of

    info guile 'Using Guile Tools'

Patch attached.

Maxim