diff lispref/os.texi @ 64689:41b16531418b

(info): Don't run install-info. ($(infodir)/dir): New target, produced by running install-info.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 30 Jul 2005 11:45:20 +0000
parents 25e7c854aa97
children e836425ee789 fbb2bea03df9
line wrap: on
line diff