diff Makefile.in @ 3456:57089987a2de

Provide texinfmt.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Jun 1993 19:28:59 +0000
parents 7ecee84713e6
children eb75df1104eb
line wrap: on
line diff