--- 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
