[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Duplicate files just differing in lower/upper case in infog/test-infodir
From: |
Hans-Bernhard Bröker |
Subject: |
Duplicate files just differing in lower/upper case in infog/test-infodir/texinfo_html |
Date: |
Mon, 11 Apr 2022 22:22:03 +0200 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.7.0 |
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
- Duplicate files just differing in lower/upper case in infog/test-infodir/texinfo_html,
Hans-Bernhard Bröker <=