Duplicate files just differing in lower/upper case in infog/test-infodir/texinfo_html

[Hans-Bernhard Bröker]

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