[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: HTML file name change in 4.7?

From: Simon Josefsson
Subject: Re: HTML file name change in 4.7?
Date: Sat, 17 Apr 2004 20:01:25 +0200
User-agent: Gnus/5.110002 (No Gnus v0.2) Emacs/21.3.50 (gnu/linux)

Patrice Dumas <address@hidden> writes:

>> DIGEST_MD5.html
>> CRAM_MD5.html
>> KERBEROS_V5.html
> Wasn't it:
> DIGEST-MD5.html
> CRAM-MD5.html
> KERBEROS-V5.html

Yes, right.

>> into
>> DIGEST_002dMD5.html
>> CRAM_002dMD5.html
>> KERBEROS_005fV5.html
>> The earlier filenames correspond better to the section titles (which
>> are "DIGEST_MD5", etc).  Is there something wrong with my build, or is
>> this intentional?
> This is intentional and this was my proposal. This is in order to distinguish
> between
> @node DIGEST MD5
> @node DIGEST-MD5
> @node DIGEST_MD5
> It is documented in the texinfo manual in the node `HTML Xref'.

Thanks for the pointer, I understand now.

(Btw, does the scheme handle Unicode code points > 0xffff?)

Sorry for false alarm,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]