summaryrefslogtreecommitdiff
path: root/gprof/gprof.texi
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 /gprof/gprof.texi
parent8c26cbe5985c8545485c50b31a331938c8f17bd3 (diff)
Use @copying around copyright notices
Diffstat (limited to 'gprof/gprof.texi')
-rw-r--r--gprof/gprof.texi16
1 files changed, 5 insertions, 11 deletions
diff --git a/gprof/gprof.texi b/gprof/gprof.texi
index 969d60ecf8..70879a23c0 100644
--- a/gprof/gprof.texi
+++ b/gprof/gprof.texi
@@ -1,6 +1,7 @@
\input texinfo @c -*-texinfo-*-
@setfilename gprof.info
-@c Copyright 1988, 1992, 1993, 1998, 1999, 2000, 2001, 2002, 2003, 2004
+@c Copyright 1988, 1992, 1993, 1998, 1999, 2000, 2001, 2002, 2003,
+@c 2004, 2007
@c Free Software Foundation, Inc.
@settitle GNU gprof
@setchapternewpage odd
@@ -19,11 +20,11 @@ END-INFO-DIR-ENTRY
@end format
@end ifinfo
-@ifinfo
+@copying
This file documents the gprof profiler of the GNU system.
@c man begin COPYRIGHT
-Copyright (C) 1988, 92, 97, 98, 99, 2000, 2001, 2003 Free Software Foundation, Inc.
+Copyright @copyright{} 1988, 92, 97, 98, 99, 2000, 2001, 2003, 2007 Free Software Foundation, Inc.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1
@@ -33,15 +34,8 @@ 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
@finalout
@smallbook