Thomas Esser <[EMAIL PROTECTED]> wrote:

> Personally, I don't know a single user who has ever needed one of the
> vir* commands.  And ini*, is provided by passing -ini, e.g. "tex -ini"
> instead of "initex".

Anton has used that too, meanwhile, as far as I know.  Anton, is it okay
to close this bug?

Regards, Frank
-- 
Frank Küster
Inst. f. Biochemie der Univ. Zürich
Debian Developer


Reply via email to