Gregory Borota writes:

> Should be:
> exec xdvi.bin $NAMEOPT ${1+"$@"}

Thanks.  I'll forward it upstream, this will be fixed in the next
release.

Jan.

-- 
Jan Nieuwenhuizen <[EMAIL PROTECTED]> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien       | http://www.lilypond.org

Reply via email to