Hello all, Could someone suggest how to *name* an output file as one pleases for a "shipout" operation? I am not always happy with the default naming scheme which seems unduly influenced by defaults appropriate to metafont. Cordially Laurent S.