diff man/info.texi @ 55527:4729059e27b8

(Man-getpage-in-background): Use shell-file-name and shell-command-switch variables instead of hard-coded values.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 11 May 2004 09:28:56 +0000
parents 4b458413e987
children 8e90bf0fe781 1029206e72f2
line wrap: on
line diff