diff options
author | Miles Bader <miles@gnu.org> | 2007-07-27 10:42:55 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 2007-07-27 10:42:55 +0000 |
commit | ea682e944e0408e3c73f5ddf795dcede0740874e (patch) | |
tree | a9f8f353c137542c24f6da0216ce0f334a8b4cdd /man | |
parent | 0cb1ae20ab33ed590d3f08a7d39be5fdba0ce34c (diff) | |
download | emacs-ea682e944e0408e3c73f5ddf795dcede0740874e.tar.gz |
Add arch tagline
Diffstat (limited to 'man')
-rw-r--r-- | man/gpl.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/gpl.texi b/man/gpl.texi index 1908d1f8f98..5b416d3cb41 100644 --- a/man/gpl.texi +++ b/man/gpl.texi @@ -715,3 +715,7 @@ library, you may consider it more useful to permit linking proprietary applications with the library. If this is what you want to do, use the GNU Lesser General Public License instead of this License. But first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}. + +@ignore + arch-tag: 0c4a2556-f87e-464f-9b1d-efd920fcaf67 +@end ignore |