Re: suggestion: move "Gnulib module: --" blurb to misc notes

[Bruno Haible]

Hi,

Thien-Thi Nguyen wrote:
> Presently, the blurb:
> 
> |The notation ``Gnulib module: ---'' means ...
> 
> is in @node "Function Substitutes", which comes after usage of that notation
> in the preceding @node "Header File Substitutes".

You're right, this is not so good.

> I think it would good to move it to its own section under
> "Miscellaneous Notes" and then @xref to it.

Hmm, I would prefer to copy this paragraph to the beginning of each of the 4
header file / function substitutes chapters. Without this paragraph, people
did not understand what the notation means.

Bruno