diff options
Diffstat (limited to 'man/makefile.w32-in')
| -rw-r--r-- | man/makefile.w32-in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/makefile.w32-in b/man/makefile.w32-in index ec14ae3abe3..1792933e705 100644 --- a/man/makefile.w32-in +++ b/man/makefile.w32-in @@ -109,7 +109,6 @@ EMACSSOURCES= \ $(srcdir)/kmacro.texi info: $(INFO_TARGETS) - $(MULTI_INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS) dvi: $(DVI_TARGETS) @@ -124,6 +123,9 @@ dvi: $(DVI_TARGETS) # Some Windows ports of makeinfo seem to require -o to come before the # texi filename, contrary to GNU standards. +$(infodir)/dir: + $(MULTI_INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS) + $(infodir)/info: $(INFOSOURCES) $(MAKEINFO) --no-split -o $@ info.texi |