diff nt/makefile.w32-in @ 51703:b8860fc285cb

Minor Texinfo usage fix.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 Jun 2003 10:43:01 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff