diff options
author | Eli Zaretskii <eliz@gnu.org> | 2005-07-30 11:45:20 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2005-07-30 11:45:20 +0000 |
commit | ddd3a8bbdafe9d01bcc8d42ff33957d1a84d216b (patch) | |
tree | d68ff9002d631289f81159423ae448c684c45078 /lispref/makefile.w32-in | |
parent | 55c097c01c94c5de1f1f3706818dc4572d8fdc83 (diff) | |
download | emacs-ddd3a8bbdafe9d01bcc8d42ff33957d1a84d216b.tar.gz |
(info): Don't run install-info.
($(infodir)/dir): New target, produced by running install-info.
Diffstat (limited to 'lispref/makefile.w32-in')
-rw-r--r-- | lispref/makefile.w32-in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lispref/makefile.w32-in b/lispref/makefile.w32-in index 457f98c1104..10b1e168805 100644 --- a/lispref/makefile.w32-in +++ b/lispref/makefile.w32-in @@ -99,7 +99,10 @@ srcs = \ .PHONY: clean # The info file is named `elisp'. + info: $(infodir)/elisp + +$(infodir)/dir: $(INSTALL_INFO) --info-dir=$(infodir) $(infodir)/elisp $(infodir)/elisp: $(srcs) |