diff --git a/docs/faq.html b/docs/faq.html index 511827fa7..93ffc2c5a 100644 --- a/docs/faq.html +++ b/docs/faq.html @@ -993,7 +993,7 @@ shell-prompt> m4 foo.m4 > foo

You may have seen these lower-case directory names in WinZIP, but WinZIP is trying to be helpful (and fails). If WinZIP encounters a filename that is all upper-case, it - assumes it has come from an old DOS box andchanges the case to + assumes it has come from an old DOS box and changes the case to all lower-case for you.

If you extract (or just check) the archive with jar, you will see that the names have the correct case.

diff --git a/xdocs/faq.xml b/xdocs/faq.xml index d6cf04fbb..8f16f7dfc 100644 --- a/xdocs/faq.xml +++ b/xdocs/faq.xml @@ -700,7 +700,7 @@ shell-prompt> m4 foo.m4 > foo

You may have seen these lower-case directory names in WinZIP, but WinZIP is trying to be helpful (and fails). If WinZIP encounters a filename that is all upper-case, it - assumes it has come from an old DOS box andchanges the case to + assumes it has come from an old DOS box and changes the case to all lower-case for you.

If you extract (or just check) the archive with jar, you