diff options
| author | Juanma Barranquero <lekktu@gmail.com> | 2006-11-18 15:23:21 +0000 |
|---|---|---|
| committer | Juanma Barranquero <lekktu@gmail.com> | 2006-11-18 15:23:21 +0000 |
| commit | 492e2246ed5456c65dd2738e48711c8a403a54cb (patch) | |
| tree | 4ceef5a344199d142df46c1903ab32ce2729222c /man | |
| parent | 8db90475104c5ab77d531aae761b17f45f0036ce (diff) | |
| download | emacs-492e2246ed5456c65dd2738e48711c8a403a54cb.tar.gz | |
(emacs.dvi): Remove xresmini.texi.
Diffstat (limited to 'man')
| -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 613151f7ff5..f47c57158fc 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) $(srcdir)/xresmini.texi +emacs.dvi: $(EMACSSOURCES) $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi # This target is here so you could easily get the list of the *.texi |