diff options
| author | Glenn Morris | 2007-07-27 08:09:56 +0000 |
|---|---|---|
| committer | Glenn Morris | 2007-07-27 08:09:56 +0000 |
| commit | 4a375a2c692be7aa8a88212177705e3b54ef75ad (patch) | |
| tree | 0eca4262f5a1114a2567b464f0b525086f8e503d /man | |
| parent | 65fa82e95bf84f89ac1f071bc242925be44e165f (diff) | |
| download | emacs-4a375a2c692be7aa8a88212177705e3b54ef75ad.tar.gz emacs-4a375a2c692be7aa8a88212177705e3b54ef75ad.zip | |
(EMACSSOURCES): Add gpl.texi.
Diffstat (limited to 'man')
| -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 f52ac990b7c..00088b74b51 100644 --- a/man/Makefile.in +++ b/man/Makefile.in | |||
| @@ -76,6 +76,7 @@ EMACS_XTRA=\ | |||
| 76 | EMACSSOURCES= \ | 76 | EMACSSOURCES= \ |
| 77 | ${srcdir}/emacs.texi \ | 77 | ${srcdir}/emacs.texi \ |
| 78 | ${srcdir}/doclicense.texi \ | 78 | ${srcdir}/doclicense.texi \ |
| 79 | ${srcdir}/gpl.texi \ | ||
| 79 | ${srcdir}/screen.texi \ | 80 | ${srcdir}/screen.texi \ |
| 80 | ${srcdir}/commands.texi \ | 81 | ${srcdir}/commands.texi \ |
| 81 | ${srcdir}/entering.texi \ | 82 | ${srcdir}/entering.texi \ |