Don't attempt to edit a dir file that doesn't exist yet!

1 files changed, 4 insertions, 4 deletions

diff --git a/gnu/lib/libgmp/Makefile.in b/gnu/lib/libgmp/Makefile.in
index 6d7ff619fa4..26b8e741149 100644
--- a/gnu/lib/libgmp/Makefile.in
+++ b/gnu/lib/libgmp/Makefile.in
@@ -151,10 +151,10 @@ install-info-files: installdirs $(srcdir)/gmp.info
 	cd $(srcdir); for f in gmp.info*; \
 	do $(INSTALL_DATA) $$f $(infodir)/$$f; done
 	-chmod a-x $(infodir)/gmp.info*
-	# Attempt to edit the info directory node
-	if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
-	  install-info --dir-file=$(infodir)/dir $(infodir)/gmp.info; \
-	  else true; fi
+#	# Attempt to edit the info directory node
+#	if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
+#	  install-info --dir-file=$(infodir)/dir $(infodir)/gmp.info; \
+#	  else true; fi
 
 installdirs: $(srcdir)/mkinstalldirs
 	$(srcdir)/mkinstalldirs $(includedir) $(libdir) $(infodir)