On Mon, Apr 11, 2022 at 10:22:03PM +0200, Hans-Bernhard Bröker wrote: > 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? >
I've deleted these extra files. They are just test files, nothing important. If infog ever becomes more complete, it's likely the test manuals under info/test-infodir will be removed in their entirety from git.
