diff options
-rw-r--r-- | man/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index d284525cb04..b53ee8b3577 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -48,6 +48,7 @@ EMACSSOURCES= \ ${srcdir}/buffers.texi \ ${srcdir}/windows.texi \ ${srcdir}/frames.texi \ + ${srcdir}/mule.texi \ ${srcdir}/major.texi \ ${srcdir}/indent.texi \ ${srcdir}/text.texi \ |