diff options
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)" \ | |||
| 39 | .SUFFIXES: .dvi .ps .texi | 39 | .SUFFIXES: .dvi .ps .texi |
| 40 | 40 | ||
| 41 | info: $(INFO_TARGETS) | 41 | info: $(INFO_TARGETS) |
| 42 | |||
| 43 | $(infodir)/dir: | ||
| 42 | $(INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS) | 44 | $(INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS) |
| 43 | 45 | ||
| 44 | dvi: $(DVI_TARGETS) | 46 | dvi: $(DVI_TARGETS) |