[PATCH] case-insensitive targets

[Ralf Hoelzer]

The attached patch makes all HTML target names case-insensitive, according to 
the HTML 4.01 specs. I tested this with all the combinations I could come up 
with.

regards,
Ralf
-------------- next part --------------
A non-text attachment was scrubbed...
Name: caseinsensitive.diff
Type: text/x-diff
Size: 3817 bytes
Desc: not available
URL: <https://mail.kde.org/mailman/private/kfm-devel/attachments/20030618/83b42f22/attachment.diff>