diff options
| author | Glenn Morris <[email protected]> | 2007-07-27 08:09:56 +0000 |
|---|---|---|
| committer | Glenn Morris <[email protected]> | 2007-07-27 08:09:56 +0000 |
| commit | 4a375a2c692be7aa8a88212177705e3b54ef75ad (patch) | |
| tree | 0eca4262f5a1114a2567b464f0b525086f8e503d /man | |
| parent | 65fa82e95bf84f89ac1f071bc242925be44e165f (diff) | |
(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 f52ac990b7..00088b74b5 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -76,6 +76,7 @@ EMACS_XTRA=\ EMACSSOURCES= \ ${srcdir}/emacs.texi \ ${srcdir}/doclicense.texi \ + ${srcdir}/gpl.texi \ ${srcdir}/screen.texi \ ${srcdir}/commands.texi \ ${srcdir}/entering.texi \ |