diff make-dist @ 24914:71f071c1bdf7

(Man-build-man-command): Use value of null-device, instead of hard-coding "/dev/null".
author Andrew Innes <andrewi@gnu.org>
date Thu, 01 Jul 1999 19:44:38 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
line wrap: on
line diff