diff options
| author | Dave Love | 1999-12-03 18:35:56 +0000 |
|---|---|---|
| committer | Dave Love | 1999-12-03 18:35:56 +0000 |
| commit | 9410151396d2cf46572863fd2e9d7d08f9cdc850 (patch) | |
| tree | 828b8abab7d5c4cbd2aba389384169167676b5d4 | |
| parent | 94ec544dde013824d30184af6a20daedcc992fb2 (diff) | |
| download | emacs-9410151396d2cf46572863fd2e9d7d08f9cdc850.tar.gz emacs-9410151396d2cf46572863fd2e9d7d08f9cdc850.zip | |
(MAKEINFO): New parameter.
| -rw-r--r-- | lispref/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lispref/Makefile.in b/lispref/Makefile.in index b32652a5b8d..182b8f05ceb 100644 --- a/lispref/Makefile.in +++ b/lispref/Makefile.in | |||
| @@ -9,6 +9,7 @@ TEX=tex | |||
| 9 | MAKE=make | 9 | MAKE=make |
| 10 | SHELL=/bin/sh | 10 | SHELL=/bin/sh |
| 11 | INSTALL_INFO = install-info | 11 | INSTALL_INFO = install-info |
| 12 | MAKEINFO=makeinfo | ||
| 12 | 13 | ||
| 13 | # Where the TeX macros are kept: | 14 | # Where the TeX macros are kept: |
| 14 | texmacrodir = /usr/local/lib/tex/macros | 15 | texmacrodir = /usr/local/lib/tex/macros |
| @@ -47,7 +48,7 @@ srcs = elisp.texi back.texi \ | |||
| 47 | 48 | ||
| 48 | elisp: $(srcs) index.texi | 49 | elisp: $(srcs) index.texi |
| 49 | rm -f elisp-* | 50 | rm -f elisp-* |
| 50 | makeinfo elisp.texi | 51 | $(MAKEINFO) elisp.texi |
| 51 | 52 | ||
| 52 | elisp.dvi: $(srcs) index.texi | 53 | elisp.dvi: $(srcs) index.texi |
| 53 | # Avoid losing old contents of aux file entirely. | 54 | # Avoid losing old contents of aux file entirely. |