diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 1999-09-23 20:58:59 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 1999-09-23 20:58:59 +0000 |
commit | 77a33a93661c724890491e42b2f0c1f7c277d875 (patch) | |
tree | b90ec501d6ebecff2129ee96bc1e911ed7ed3dc8 /doc/Makefile.in | |
parent | c2f04a101dce2be7abe6e2af8072e40b1f92d19c (diff) |
Use $(MAKE) instead of make. Noted by Ryan Murray
<rmurray@cyberhqz.com>.
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
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=@ |