diff man/makefile.w32-in @ 68696:b10a879044b0

Minor clarifications. (Dabbrev Customization): Talk about "dynamic abbrev expansion", not "dynamic abbrevs" as if they were a kind of abbrev.
author Richard M. Stallman <rms@gnu.org>
date Wed, 08 Feb 2006 00:07:17 +0000
parents dc2d5a6655a3
children 6f62a7231d30 c5406394f567
line wrap: on
line diff