changeset 82175:9977c5e7dead

Add arch tagline
author Miles Bader <miles@gnu.org>
date Fri, 27 Jul 2007 10:42:55 +0000
parents ddc94a290eea
children 907a4e983597
files man/gpl.texi
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/man/gpl.texi	Fri Jul 27 08:41:17 2007 +0000
+++ b/man/gpl.texi	Fri Jul 27 10:42:55 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