diff config.bat @ 7453:9b14642f7d52

(Man-build-man-command): Use manual-program, not hardcoded name. (Man-getpage-in-background): Likewise.
author Karl Heuer <kwzh@gnu.org>
date Wed, 11 May 1994 03:19:39 +0000
parents 5d428cbd38ec
children 41a42a288277
line wrap: on
line diff