On Wed, Dec 23, 2020 at 03:52:52PM +0100, Christopher Dimech wrote:
> I am using makeinfo to generate my info file. What does the following mean
> 
> makeinfo gungadin-abbrev-usergd.texi
> gungadin-abbrev-usergd.texi:285: warning: node `terminal-colour-node' 
> unreferenced
> 
> I put the node in the detailed menu, and then defined it later in the section
> 
> * terminal-colour-node::        Colour Configuration for Terminal Sessions
> 
> @node bash-resor-config-node
> @chapter Bash Resource Configuration
> 
> @node terminal-colour-node
> @section Colour Configuration for Terminal Sessions
> 
> I do not get any warnings about the other nodes similarly defined.

I haven't checked but maybe it's because it's in @detailmenu but not
in @menu.

Reply via email to