25 Oct
2002
25 Oct
'02
5:54 p.m.
Giuseppe Bilotta writes:
Thursday, October 24, 2002 Olaf Weber wrote:
OW> Two points:
OW> - up to web2c 7.3.8, you can use the --fmt=NAME option to set the name OW> of the format to be dumped by initex (or iniomega). OW> - from 7.3.9 onward, this will no longer work. Use --jobname=NAME OW> instead.
--fmt in web2c selects the format to undump, doesn't it?
Now it does just that. In 7.3.8 and earlier it also selected the format name to dump to -- in retrospect a rather gross hack.
--job-name in MiKTeX changes \jobname; what does --jobname in web2c 7.3.9 do?
It sets \jobname. -- Olaf Weber (This space left blank for technical reasons.)