Friday, October 25, 2002 Olaf Weber wrote:

>> --job-name in MiKTeX changes \jobname; what does --jobname in
>> web2c 7.3.9 do?

OW> It sets \jobname.

Goodie! Funny thing, MikTeX uses --job-name, while web2c uses
--jobname ... one would wish both used the same :)

-- 
Giuseppe "Oblomov" Bilotta

_______________________________________________
ntg-context mailing list
[EMAIL PROTECTED]
http://ref.ntg.nl/mailman/listinfo/ntg-context

Reply via email to