# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 987249031 0
# Node ID e821a20867c925ed6b7381a1f1d75cabd68a853b
# Parent  acd52a18e5490aab16a4d72c46bb6070ca601ea6
(../info/info): Use an explicit -o switch to makeinfo.

diff -r acd52a18e549 -r e821a20867c9 man/Makefile.in
--- a/man/Makefile.in	Sat Apr 14 11:45:31 2001 +0000
+++ b/man/Makefile.in	Sat Apr 14 11:50:31 2001 +0000
@@ -106,8 +106,12 @@
 # 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