[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
HTML file name change in 4.7?
|
From: |
Simon Josefsson |
|
Subject: |
HTML file name change in 4.7? |
|
Date: |
Sat, 17 Apr 2004 01:16:16 +0200 |
|
User-agent: |
Gnus/5.110002 (No Gnus v0.2) Emacs/21.3.50 (gnu/linux) |
I just generated a new HTML version of a manual, with makeinfo 4.7,
and it changed the filenames of some files, from:
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?
Thanks.
- HTML file name change in 4.7?,
Simon Josefsson <=