[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,
Simon