comparison 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
comparison
equal deleted inserted replaced
64688:37423088a880 64689:41b16531418b
37 "MAKEINFO=$(MAKEINFO) -I$(srcdir)" /C 37 "MAKEINFO=$(MAKEINFO) -I$(srcdir)" /C
38 38
39 .SUFFIXES: .dvi .ps .texi 39 .SUFFIXES: .dvi .ps .texi
40 40
41 info: $(INFO_TARGETS) 41 info: $(INFO_TARGETS)
42
43 $(infodir)/dir:
42 $(INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS) 44 $(INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS)
43 45
44 dvi: $(DVI_TARGETS) 46 dvi: $(DVI_TARGETS)
45 47
46 $(infodir)/eintr: $(INFO_SOURCES) 48 $(infodir)/eintr: $(INFO_SOURCES)