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 | e1f1689fd789542cd1486abf8b05b780ddaa02e2 (patch) | |
| tree | 051ff8f9163d8beb5b539d6068827cbfcc4a5853 /lispintro | |
| parent | 45cacff6dc013fcb62ca58c3d649520bd85c4f53 (diff) | |
| download | emacs-e1f1689fd789542cd1486abf8b05b780ddaa02e2.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) |