Rubber does not handle uppercase extensions correct
Bug #1583475 reported by
Matthias Goldhoorn
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Rubber |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Handle uppercase filename extensions.
On Linux Systems there is a separation between upper/lowercase filenames
however, latex does not take respect to the case of filenames too
therefore interpret all filename extensions as upper/lowercase in the same
manner.
Changed in rubber: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
I believe it is not correct: LaTeX uses standard operating system behaviour as far as I know. For instance if on a Linux (in a case-sensitive file system like ext4) I have a file "a.TEX" and a file "b.tex" that contains "\include{a}" or "\input{a}", then on compilation of "b.tex" the file "a.TEX" will not be used.
Looking at your patch it seems that the case insensitivity you are referring to applies for graphics inclusion. In fact, the situation is much simpler than full case insensitivity: the standard file "pdftex.def" explicitly declares extensions ".png,. pdf,.jpg, .mps,.jpeg, .PNG,.PDF, .JPG,.JPEG" for graphics.
So the proper fix would be to change the definition of "drv_suffixes" in "graphics.py" to reflect that. One should check how the various drivers behave, maybe graphics converters should also be extended to handle case distinction better.