29e444
diff -rup a/manual/Makefile b/manual/Makefile
29e444
--- a/manual/Makefile	2012-05-20 19:47:38.000000000 -0600
29e444
+++ b/manual/Makefile	2012-05-29 22:23:33.920428631 -0600
29e444
@@ -129,7 +129,8 @@ $(objpfx)%.c.texi: examples/%.c
29e444
 	mv -f $@.new $@
29e444
 
29e444
 $(objpfx)%.info: %.texinfo
29e444
-	LANGUAGE=C LC_ALL=C $(MAKEINFO) -P $(objpfx) --output=$@ $<
29e444
+	LANGUAGE=C LC_ALL=C $(MAKEINFO) -P $(objpfx) --output=`basename $@` $<
29e444
+	mv `basename $@`* $(objpfx)
29e444
 
29e444
 $(objpfx)%.dvi: %.texinfo
29e444
 	cd $(objpfx);$(TEXI2DVI) -I $(shell cd $(