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

[Gavin Smith]

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.