[texworks] Manual: 5.2 Special comment strings - % !TeX jobname = "Some Other Name"

[Paul A Norman]

HI,

Does TeXworks have an undocumented special comment string for something
like:

% !TeX job-name = "Some Other Name"

TIA
Paul
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texworks/attachments/20190712/736486e5/attachment.html>