bug-texinfo
[Top][All Lists]
Advanced

[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.




reply via email to

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