diff lispintro/makefile.w32-in @ 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 23a17af379b1
children 3861ff8f4bf1 edf295560b5a
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)