Re: Documentation: punctuation in menus

[David Kastrup]

"Phil Holmes" <address@hidden> writes:

> ----- Original Message ----- 
> From: "David Kastrup" <address@hidden>
> To: "Phil Holmes" <address@hidden>
>>
>> When a policy makes things go from bad to worse, it makes sense to first
>> change things manually to good before trying to apply policy.  That's a
>> stupid section title.
>
> I understand the issue with colons in node names.  That was why I
> asked this question.  I'll ask it again should there be a
> documentation writer who has had this to deal with before: what do we
> use for node names when there is punctuation (specifically a colon) in
> a section heading?

How about rewording the section heading?

-- 
David Kastrup