diff options
| -rw-r--r-- | lispintro/makefile.w32-in | 2 | ||||
| -rw-r--r-- | lispref/makefile.w32-in | 3 |
2 files changed, 5 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) 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) |