![](https://secure.gravatar.com/avatar/c5ae4f9aa0d3a9bd5376e92b322c3e50.jpg?s=120&d=mm&r=g)
15 Apr
2008
15 Apr
'08
8:45 a.m.
On Tue, 15 Apr 2008, Norbert Preining wrote:
On Di, 15 Apr 2008, Taco Hoekwater wrote:
I wager just about all of these are manifestations of the same bug (redefined \hyphenatedfile) that Aditya found.
Do you have a patch I could test?
Add this to the top of the file: \unexpanded\def\filename#1{{\tttf\hyphenatedurl{#1}}} Aditya