Proposed patch: allow __line__ and __file__ to be changed

[Raphael 'Kena' Poss]

Hi Eric, all,

Following our recent conversation on m4-discuss, I propose the change  
below that provides the feature I was looking for. It basically  
provides what Eric suggested, i.e. __file__ and __line__ take an  
optional argument which causes resp. the input title and line counter  
to be updated, and a syncline to be emitted at the next following  
newline.

Comments, suggestions etc welcome.

fileline.diff
Description: Binary data