(../info/info): Use an explicit -o switch to makeinfo.

diff --git a/man/Makefile.in b/man/Makefile.in
index f9feab6a0b90a4e86d2d508d8e087cf5ac36428d..642c6c83a3eef8b9d06ed0d22f1dda9dbac368db 100644 (file)
--- a/man/Makefile.in
+++ b/man/Makefile.in
@@ -106,8 +106,12 @@ dvi: $(DVI_TARGETS)
 # to exist in the build directory.
 # In a distribution of Emacs, the Info files should be up to date.
 
+# The following target use an explicit -o switch to work around
+# the @setfilename directive in info.texi, which is required for
+# the Texinfo distribution.
+
 ../info/info: ${INFOSOURCES}
-       cd $(srcdir); $(MAKEINFO) --no-split info.texi
+       cd $(srcdir); $(MAKEINFO) --no-split info.texi -o $@
 
 info.dvi: ${INFOSOURCES}
        $(ENVADD) $(TEXI2DVI) ${srcdir}/info.texi