diff options
| author | Richard M. Stallman <rms@gnu.org> | 1998-05-06 21:28:42 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1998-05-06 21:28:42 +0000 |
| commit | 8bfc44f3ac131b186d80b6729f6925da493bdeb2 (patch) | |
| tree | 5170b2af7060df096993ee5d78ecda6507dab246 /man/Makefile.in | |
| parent | 425d24c665a2810f1b3267cca11108813bd057fc (diff) | |
| download | emacs-8bfc44f3ac131b186d80b6729f6925da493bdeb2.tar.gz | |
(EMACSSOURCES): Add mule.texi.
Diffstat (limited to 'man/Makefile.in')
| -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 \ |