Sorry for that wrong bug report : it only happens when I copy-paste the file-line-error-style option from the man page, and _does_not_ happen when I type it directly. That's what I get for being lazy :-)
Can you please close this bug ?
Nevertheless, thanks to Hilmar Preusse and Frank KÃster for their input.
--
Julien Lamy


Reply via email to