# HG changeset patch
# User Miles Bader <miles@gnu.org>
# Date 1185533049 0
# Node ID 6853eb801a2732bc56f6e53fc7d6d4a22ab0b77b
# Parent  5b57e2a4ffb00bddffe918b094c6ce3e4c065cf0
Add arch tagline

diff -r 5b57e2a4ffb0 -r 6853eb801a27 man/gpl.texi
--- a/man/gpl.texi	Fri Jul 27 08:09:56 2007 +0000
+++ b/man/gpl.texi	Fri Jul 27 10:44:09 2007 +0000
@@ -715,3 +715,7 @@
 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