Re: @documentencoding and TeX

[Stepan Kasal]

Hello,

On Thu, Aug 26, 2004 at 08:51:15AM -0400, Karl Berry wrote:
> Gosh, I've never used sed goto's before :).

;-)

> I wonder about
> 
> encoding=`sed -n 's/...your/expr.../' "$filename_input" | sed 1q`
> 
> Isn't that essentially what is going on?  Take the first
> @documentencoding?

You meant:
encoding=`sed -n 's/...your/expr.../p' "$filename_input" | sed 1q`
                                    ^
                                   this `p' is added

Yes, the same but less efficient.  Your script scans the whole document,
while mine quits on first match.

How could one program sokoban or dc in sed if there were no goto?  ;-)

Stepan