# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1202338923 0
# Node ID 9bbb6ab858c814b13d35f1178874305503192771
# Parent  c6ac1cae66d84feb5d46f2c1edbaa56f584c9c5d
Revert last change

diff -r c6ac1cae66d8 -r 9bbb6ab858c8 doc/lispintro/makefile.w32-in
--- a/doc/lispintro/makefile.w32-in	Wed Feb 06 23:01:28 2008 +0000
+++ b/doc/lispintro/makefile.w32-in	Wed Feb 06 23:02:03 2008 +0000
@@ -38,9 +38,9 @@
 
 .SUFFIXES: .dvi .ps .texi
 
-info: $(INFO_TARGETS) $(infodir)/dir
+info: $(INFO_TARGETS)
 
-$(infodir)/dir: $(INFO_TARGETS)
+$(infodir)/dir:
 	$(INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS)
 
 dvi: $(DVI_TARGETS)