diff src/systty.h @ 18818:3c0dec827888

(texinfo-format-buffer-1): Insert, here, the info about what file this is and what it was made from, just before returning. (texinfo-format-setfilename): Generate no output.
author Richard M. Stallman <rms@gnu.org>
date Wed, 16 Jul 1997 05:29:01 +0000
parents d8d51043c2c5
children 6ab8801244c2
line wrap: on
line diff