--- texi/Makefile.orig Tue Jun 19 09:33:34 2007 +++ texi/Makefile Tue Jun 19 09:33:54 2007 @@ -22,5 +22,5 @@ install: $(MANUAL).info [ -d $(INFODIR) ] || install -d $(INFODIR) - install -m 0644 $(MANUAL).info $(INFODIR)/$(MANUAL) - $(INSTALLINFO) $(INFODIR)/$(MANUAL) + install -m 0644 $(MANUAL).info $(INFODIR)/$(MANUAL).info + $(INSTALLINFO) $(INFODIR)/$(MANUAL).info