diff src/print.c @ 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 614b916ff5bf
children e537071624ee
line wrap: on
line diff