aboutsummaryrefslogtreecommitdiff
path: root/gas/doc
diff options
context:
space:
mode:
authorNick Clifton <nickc@redhat.com>2007-05-22 09:16:39 +0000
committerNick Clifton <nickc@redhat.com>2007-05-22 09:16:39 +0000
commit0e9517a90d502269cd2b16ce646580dbb6a79033 (patch)
tree67efa05a28e0531b2f00b76218023d1b66be52bc /gas/doc
parent8c26cbe5985c8545485c50b31a331938c8f17bd3 (diff)
downloadgdb-0e9517a90d502269cd2b16ce646580dbb6a79033.zip
gdb-0e9517a90d502269cd2b16ce646580dbb6a79033.tar.gz
gdb-0e9517a90d502269cd2b16ce646580dbb6a79033.tar.bz2
Use @copying around copyright notices
Diffstat (limited to 'gas/doc')
-rw-r--r--gas/doc/as.texinfo14
1 files changed, 3 insertions, 11 deletions
diff --git a/gas/doc/as.texinfo b/gas/doc/as.texinfo
index ce6a18f..2cc40aa 100644
--- a/gas/doc/as.texinfo
+++ b/gas/doc/as.texinfo
@@ -96,11 +96,11 @@ END-INFO-DIR-ENTRY
@finalout
@syncodeindex ky cp
-@ifinfo
+@copying
This file documents the GNU Assembler "@value{AS}".
@c man begin COPYRIGHT
-Copyright (C) 1991, 92, 93, 94, 95, 96, 97, 98, 99, 2000, 2001, 2002,
+Copyright @copyright{} 1991, 92, 93, 94, 95, 96, 97, 98, 99, 2000, 2001, 2002,
2006, 2007 Free Software Foundation, Inc.
Permission is granted to copy, distribute and/or modify this document
@@ -111,15 +111,7 @@ Back-Cover Texts. A copy of the license is included in the
section entitled ``GNU Free Documentation License''.
@c man end
-
-@ignore
-Permission is granted to process this file through Tex and print the
-results, provided the printed document carries copying permission
-notice identical to this one except for the removal of this paragraph
-(this paragraph not being relevant to the printed manual).
-
-@end ignore
-@end ifinfo
+@end copying
@titlepage
@title Using @value{AS}