changeset 26694:dbf1e3aaa767

(MAKEINFO): New parameter.
author Dave Love <fx@gnu.org>
date Fri, 03 Dec 1999 18:35:56 +0000
parents 3fdcd0afea4b
children 778a88ba7c10
files lispref/Makefile.in
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lispref/Makefile.in	Fri Dec 03 18:20:46 1999 +0000
+++ b/lispref/Makefile.in	Fri Dec 03 18:35:56 1999 +0000
@@ -9,6 +9,7 @@
 MAKE=make
 SHELL=/bin/sh
 INSTALL_INFO = install-info
+MAKEINFO=makeinfo
 
 # Where the TeX macros are kept:
 texmacrodir = /usr/local/lib/tex/macros
@@ -47,7 +48,7 @@
 
 elisp: $(srcs) index.texi
 	rm -f elisp-*
-	makeinfo elisp.texi
+	$(MAKEINFO) elisp.texi
 
 elisp.dvi: $(srcs) index.texi
 	# Avoid losing old contents of aux file entirely.