% Output should be on just.log, etc., not just.texi.log. \end