Add arch tagline

2007-07-27 10:42:55 +00:00
parent 0cb1ae20ab
commit ea682e944e
1 changed files with 4 additions and 0 deletions
--- 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