[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML file name change in 4.7?
|
From: |
Patrice Dumas |
|
Subject: |
Re: HTML file name change in 4.7? |
|
Date: |
Sat, 17 Apr 2004 17:32:08 +0200 |
|
User-agent: |
Mutt/1.4.1i |
> DIGEST_MD5.html
> CRAM_MD5.html
> KERBEROS_V5.html
Wasn't it:
DIGEST-MD5.html
CRAM-MD5.html
KERBEROS-V5.html
> 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'.
Pat