From 77a33a93661c724890491e42b2f0c1f7c277d875 Mon Sep 17 00:00:00 2001 From: Thomas Roessler Date: Thu, 23 Sep 1999 20:58:59 +0000 Subject: Use $(MAKE) instead of make. Noted by Ryan Murray . --- doc/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/Makefile.in') diff --git a/doc/Makefile.in b/doc/Makefile.in index 3a5f1d2b..b1003968 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -124,7 +124,7 @@ dist distdir: Makefile $(DISTFILES) done ../makedoc: $(top_srcdir)/makedoc.c - (cd .. && make makedoc) + (cd .. && $(MAKE) makedoc) # hack around autoconf mixing up patterns. at=@ -- cgit v1.2.3