diff config.bat @ 10064:9d103084f33b

(dvi): Run Make in our man subdir.
author Richard M. Stallman <rms@gnu.org>
date Wed, 23 Nov 1994 20:25:48 +0000
parents 9eae919f9a23
children 09c2ad9213dd
line wrap: on
line diff