diff make-dist @ 56254:060e08bf63fe

(Man-getpage-in-background): Add windows-nt to the list of systems where shell-file-name should be used instead of literal "sh".
author Eli Zaretskii <eliz@gnu.org>
date Sat, 26 Jun 2004 09:44:56 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff