diff options
Diffstat (limited to 'man/makefile.w32-in')
| -rw-r--r-- | man/makefile.w32-in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/man/makefile.w32-in b/man/makefile.w32-in index 45f890fd07a..d5efdc1e361 100644 --- a/man/makefile.w32-in +++ b/man/makefile.w32-in @@ -67,7 +67,6 @@ ENVADD = $(srcdir)\..\nt\envadd.bat "TEXINPUTS=$(srcdir);$(TEXINPUTS)" \ EMACSSOURCES= \ $(srcdir)/emacs.texi \ - $(srcdir)/emacs-xtra.texi \ $(srcdir)/doclicense.texi \ $(srcdir)/screen.texi \ $(srcdir)/commands.texi \ |