# HG changeset patch # User Eli Zaretskii # Date 1122723920 0 # Node ID 41b16531418b42fb4b110559a0752c9544c4a4a3 # Parent 37423088a8804229cd5ebba0ed70fdb76308b84a (info): Don't run install-info. ($(infodir)/dir): New target, produced by running install-info. diff -r 37423088a880 -r 41b16531418b lispintro/makefile.w32-in --- 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) diff -r 37423088a880 -r 41b16531418b lispref/makefile.w32-in --- 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)