diff options
| author | Jan Djärv <jan.h.d@swipnet.se> | 2006-11-18 14:47:46 +0000 |
|---|---|---|
| committer | Jan Djärv <jan.h.d@swipnet.se> | 2006-11-18 14:47:46 +0000 |
| commit | fdd8025749a04eaed669bd7af24be0cd4b6220ff (patch) | |
| tree | 500610da0e8e6333e47292db6ae4fc47bce764ca /man | |
| parent | 5281d549c3d0747e607ebfc34c875b018b854ac5 (diff) | |
| download | emacs-fdd8025749a04eaed669bd7af24be0cd4b6220ff.tar.gz | |
Remove xresmini.texi
Diffstat (limited to 'man')
| -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 61f775231ae..5008cfbc593 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} $(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 |