[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65157: 30.0.50; Android port post-merge warnings?
From: |
Po Lu |
Subject: |
bug#65157: 30.0.50; Android port post-merge warnings? |
Date: |
Thu, 10 Aug 2023 08:37:33 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Po Lu <luangruo@yahoo.com>
>> Cc: jschmidt4gnu@vodafonemail.de, 65157@debbugs.gnu.org
>> Date: Wed, 09 Aug 2023 21:28:44 +0800
>>
>> Eli Zaretskii <eliz@gnu.org> writes:
>>
>> > I suggest to add @node's there.
>>
>> Thanks. How about @subsection's? The relative importance of the
>> contents of those node-less sections doesn't justify placement in
>> their own nodes, IMHO.
>
> Why do you need justification for adding @node's? What is the
> downside of having them. The advantage is clear: easier navigation
> with SPC and DEL.
>
> If you don't need a @node, please ask yourself why you need a @section
> of @subsection?
>
> But if you are dead set on not adding @node's, please make those
> @node-less @sections @unnumberedsec instead.
Thanks.
bug#65157: 30.0.50; Android port post-merge warnings?, Jens Schmidt, 2023/08/09