# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1064248842 0
# Node ID ac7e8287a67e74be193013abe1bb7fff6b9c1e1f
# Parent  6113369250951ecb71961a8da878d1cbfaef2464
(man lispref lispintro): Specify an explicit target `info',
like Makefile.in does.

diff -r 611336925095 -r ac7e8287a67e msdos/mainmake.v2
--- a/msdos/mainmake.v2	Mon Sep 22 16:03:18 2003 +0000
+++ b/msdos/mainmake.v2	Mon Sep 22 16:40:42 2003 +0000
@@ -93,7 +93,7 @@
 
 man lispref lispintro:	FRC
 	cd $@
-	$(MAKE) top_srcdir=${top_srcdir}
+	$(MAKE) top_srcdir=${top_srcdir} info
 	cd ..
 
 install: all