Re: #include in module descriptions

[Bruno Haible]

Paul Eggert wrote:
> Is there any rule for whether the Include: sections' lines should
> start with '#include'?

So far the '#include ' is optional. I made it optional because it'd be so much
useless typing work and redundant to read otherwise.

> I noticed 34 instances with #include and 276 without, so would it be OK
> to remove the "#include" from those 34 instances, for consistency?

Yes, it's fine with me, except for those which are inside #if.

Bruno