* it would be good if it is not mandatory that all files used for a
single document have the same format,
I agree in principle.
The only rule should be that *within a same file* you have to
be consistent.
Maybe not even that. I regularly see files with mixed line endings. It
would not seem bad to me to globally remove all CR chars that occur
before NL chars before doing anything else with a given input file.
In any case, I haven't looked at the code at all for this issue yet.
When I can, or if Patrice has time sooner, so much the better ...
k
