Subject: guild help refers to non-existing info node
From: Maxim Cournoyer <[email-masked]>
To: bug-guile <[email-masked]>
Date: Sat, 14 Oct 2017 11:39:35 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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 [email-masked]
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:

--8<---------------cut here---------------start------------->8---
No menu item 'Using Guile Tools' in node '(guile.info.gz)Top'.
--8<---------------cut here---------------end--------------->8---

Maxim