GNU bug report logs - #9828
libtool.texi: frontmatter cleanups

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 9828 in the body.
You can then email your comments to 9828 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: karl <at> freefriends.org (Karl Berry)
To: bug-libtool <at> gnu.org
Subject: libtool.texi: frontmatter cleanups
Date: Sat, 22 Oct 2011 00:07:36 GMT

Hi libtoolers,

I realize I mixed theoretically independent changes to libtool.texi
here, but they're all related and should be non-controversial.  If
there's a real issue I can separate.

It is important to use @copying, as has been publicized since 2002 or so :).
The other changes are conventional rather than critical, but still,
consistency is nice.

Thanks,
k

	Karl Berry  <karl <at> gnu.org>

	* libtool.texi (@copying): Use this instead of @ifnottex;
	format for Texinfo; eliminate obsolete paragraph about TeX;
	use @insertcopying instead of duplicating text.
	(@syncodeindex): Move all to the Texinfo header, where they belong.
	(@dircategory): Use "Software development"
	instead of "GNU programming tools", for consistency;
	and align individual entries to avoid multiple lines;
	and move to after the copyright message.
	
--- ORIG/libtool.texi	2011-10-17 03:17:05.000000000 -0700
+++ libtool.texi	2011-10-21 11:46:44.000000000 -0700
@@ -6,2 +6,8 @@
 @c @setchapternewpage odd
+@c Put everything in one index (arbitrarily chosen to be the concept index).
+
+@syncodeindex vr cp
+@syncodeindex fn cp
+@syncodeindex tp cp
+@synindex pg cp
 @c %**end of header
@@ -13,18 +19,6 @@
 
-@dircategory GNU programming tools
-@direntry
-* Libtool: (libtool).           Generic shared library support script.
-@end direntry
-
-@dircategory Individual utilities
-@direntry
-* libtool-invocation: (libtool)Invoking libtool.
-                                                Running the @code{libtool} script.
-* libtoolize: (libtool)Invoking libtoolize.     Adding libtool support.
-@end direntry
+@copying
+This manual is for GNU Libtool (version @value{VERSION}, @value{UPDATED}).
 
-@ifnottex
-This file documents GNU Libtool @value{VERSION}
-
-Copyright (C) 1996-2011 Free Software Foundation, Inc.
+Copyright @copyright{} 1996--2011 Free Software Foundation, Inc.
 
@@ -35,11 +29,15 @@
 and with no Back-Cover Texts.  A copy of the license is included in
-the section entitled "GNU Free Documentation License".
+the section entitled ``GNU Free Documentation License''.
+@end copying
 
-@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
+@dircategory Software development
+@direntry
+* Libtool: (libtool).           Generic shared library support script.
+@end direntry
 
-@end ignore
-@end ifnottex
+@dircategory Individual utilities
+@direntry
+* libtool-invocation: (libtool)Invoking libtool. Running the @code{libtool} script.
+* libtoolize: (libtool)Invoking libtoolize.      Adding libtool support.
+@end direntry
 
@@ -55,19 +53,5 @@
 @vskip 0pt plus 1filll
-Copyright @copyright{} 1996-2011 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.3
-or any later version published by the Free Software Foundation;
-with no Invariant Sections, with no Front-Cover Texts,
-and with no Back-Cover Texts.  A copy of the license is included in
-the section entitled "GNU Free Documentation License".
-
+@insertcopying
 @end titlepage
 
-@c Put everything in one index (arbitrarily chosen to be the concept index).
-@syncodeindex vr cp
-@syncodeindex fn cp
-@syncodeindex tp cp
-@synindex pg cp
-
 @contents

Diff finished at Fri Oct 21 16:58:49

Message #8 received at 9828 <at> debbugs.gnu.org (full text, mbox):

From: "Gary V. Vaughan" <gary <at> gnu.org>
To: karl <at> freefriends.org (Karl Berry)
Cc: 9828 <at> debbugs.gnu.org
Subject: Re: bug#9828: libtool.texi: frontmatter cleanups
Date: Mon, 24 Oct 2011 10:14:25 +0700

close 9828

On 22 Oct 2011, at 07:07, Karl Berry wrote:
> Hi libtoolers,

Hi Karl,

> 	Karl Berry  <karl <at> gnu.org>
> 
> 	* libtool.texi (@copying): Use this instead of @ifnottex;
> 	format for Texinfo; eliminate obsolete paragraph about TeX;
> 	use @insertcopying instead of duplicating text.
> 	(@syncodeindex): Move all to the Texinfo header, where they belong.
> 	(@dircategory): Use "Software development"
> 	instead of "GNU programming tools", for consistency;
> 	and align individual entries to avoid multiple lines;
> 	and move to after the copyright message.

Applied! Many thanks :)

Cheers,
-- 
Gary V. Vaughan (gary AT gnu DOT org)

Message #13 received at 9828-done <at> debbugs.gnu.org (full text, mbox):

From: Gary V. Vaughan <gary <at> vaughan.pe>
To: karl <at> freefriends.org (Karl Berry)
Cc: 9828-done <at> debbugs.gnu.org
Subject: Re: bug#9828: libtool.texi: frontmatter cleanups
Date: Mon, 24 Oct 2011 12:26:30 +0700

Let's try closing this report again...

On 24 Oct 2011, at 10:14, Gary V. Vaughan wrote:
> On 22 Oct 2011, at 07:07, Karl Berry wrote:
>> Hi libtoolers,
> 
> Hi Karl,
> 
>> 	Karl Berry  <karl <at> gnu.org>
>> 
>> 	* libtool.texi (@copying): Use this instead of @ifnottex;
>> 	format for Texinfo; eliminate obsolete paragraph about TeX;
>> 	use @insertcopying instead of duplicating text.
>> 	(@syncodeindex): Move all to the Texinfo header, where they belong.
>> 	(@dircategory): Use "Software development"
>> 	instead of "GNU programming tools", for consistency;
>> 	and align individual entries to avoid multiple lines;
>> 	and move to after the copyright message.
> 
> Applied! Many thanks :)

Cheers,
-- 
Gary V. Vaughan (gary AT gnu DOT org)

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.