diff configure @ 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 993b52f1f2a5
children 7361cc4f01a8 532e0a9335a9 890cc78a5a24
line wrap: on
line diff