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 /lispintro | |
| 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 'lispintro')
| -rw-r--r-- | lispintro/makefile.w32-in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lispintro/makefile.w32-in b/lispintro/makefile.w32-in index 2131542a110..f7e99334188 100644 --- a/lispintro/makefile.w32-in +++ b/lispintro/makefile.w32-in @@ -39,6 +39,8 @@ ENVADD = $(srcdir)\..\nt\envadd.bat "TEXINPUTS=$(srcdir);$(TEXINPUTS)" \ .SUFFIXES: .dvi .ps .texi info: $(INFO_TARGETS) + +$(infodir)/dir: $(INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS) dvi: $(DVI_TARGETS) |