Hello folks,
there are currently two pairs of files in the repository, in subdirectory
infog/test-infodir/texinfo_html.
which only differ by upper/lower case in their filenames:
-rw-r--r-- Running-Info_002dValidate.html 1600 logplain
-rw-r--r-- Running-Info_002dvalidate.html 4046 logplain
and
-rw-r--r-- makeinfo-Advantages.html 3129 logplain
-rw-r--r-- makeinfo-advantages.html 1568 logplain
That makes it highly impractical to use the git repository from a
machine running MS Windows, which conflates such pairs into a single file.
I'm pretty sure one of the files in each pair should not be in the
repository at all, right?
HBB
