changeset 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 37423088a880
children 70e0ba97aaec
files lispintro/makefile.w32-in lispref/makefile.w32-in
diffstat 2 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/lispintro/makefile.w32-in	Sat Jul 30 11:42:35 2005 +0000
+++ b/lispintro/makefile.w32-in	Sat Jul 30 11:45:20 2005 +0000
@@ -39,6 +39,8 @@
 .SUFFIXES: .dvi .ps .texi
 
 info: $(INFO_TARGETS)
+
+$(infodir)/dir:
 	$(INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS)
 
 dvi: $(DVI_TARGETS)
--- a/lispref/makefile.w32-in	Sat Jul 30 11:42:35 2005 +0000
+++ b/lispref/makefile.w32-in	Sat Jul 30 11:45:20 2005 +0000
@@ -99,7 +99,10 @@
 .PHONY: clean
 
 # The info file is named `elisp'.
+
 info: $(infodir)/elisp
+
+$(infodir)/dir:
 	$(INSTALL_INFO) --info-dir=$(infodir) $(infodir)/elisp
 
 $(infodir)/elisp: $(srcs)