[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: About the DEL trick
From: |
Eli Zaretskii |
Subject: |
Re: About the DEL trick |
Date: |
Tue, 27 Aug 2019 16:10:18 +0300 |
> From: Didier Verna <address@hidden>
> Date: Tue, 27 Aug 2019 14:44:29 +0200
> Cc: Texinfo Bugs <address@hidden>
>
> Well, although I cannot use it right now, I would hate to see it go
> because it is the only solution there is to have really anything in
> node names.
>
> The current solution I use is to replace problematic characters by
> ugly sequences like <dot>, and soon by Unicode characters looking like
> the original ones (Cf. the paper I sent you the other day). But these
> solutions prevent readers from cut'n pasting the node names and get
> the real thing.
May I ask why you need to have these characters in node names?
Node names are just labels; they don't need to be as meaningful as
section names. So it's legitimate to make a node's name be a
shortened version of the corresponding section's name, and remove
those special characters in the process. What exactly would suffer
from such shortening?