diff options
Diffstat (limited to 'man/makefile.w32-in')
| -rw-r--r-- | man/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/makefile.w32-in b/man/makefile.w32-in index f47c57158fc..613151f7ff5 100644 --- a/man/makefile.w32-in +++ b/man/makefile.w32-in @@ -147,7 +147,7 @@ info.dvi: $(INFOSOURCES) $(infodir)/emacs: $(EMACSSOURCES) $(MAKEINFO) emacs.texi -emacs.dvi: $(EMACSSOURCES) +emacs.dvi: $(EMACSSOURCES) $(srcdir)/xresmini.texi $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi # This target is here so you could easily get the list of the *.texi |