Added re-typesetting function to key list generator, so existing
key lists may be reprocessed if typesetting code is changed.