diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2006-05-06 15:54:39 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2006-05-06 15:54:39 +0000 |
| commit | 51445eb4a35f65a99957493d875adc6afa44c7a3 (patch) | |
| tree | 3d13b0f0aed3b1bef89491656a778f12832309b3 /man/Makefile.in | |
| parent | c073ccbe0538be4c211a575c35aa409f81532d0b (diff) | |
| download | emacs-51445eb4a35f65a99957493d875adc6afa44c7a3.tar.gz | |
makefile.w32-in (emacs.dvi):
Makefile.in (emacs.dvi): Add xresmini.texi
Diffstat (limited to 'man/Makefile.in')
| -rw-r--r-- | man/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 5008cfbc593..61f775231ae 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -144,7 +144,7 @@ info.dvi: ${INFOSOURCES} ../info/emacs: ${EMACSSOURCES} cd $(srcdir); $(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 |