26 Oct
2002
26 Oct
'02
1:10 a.m.
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