bug#9828: libtool.texi: frontmatter cleanups

[Karl Berry]

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  <address@hidden>

        * 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
address@hidden Put everything in one index (arbitrarily chosen to be the 
concept index).
+
address@hidden vr cp
address@hidden fn cp
address@hidden tp cp
address@hidden pg cp
 @c %**end of header
@@ -13,18 +19,6 @@
 
address@hidden GNU programming tools
address@hidden
-* Libtool: (libtool).           Generic shared library support script.
address@hidden direntry
-
address@hidden Individual utilities
address@hidden
-* libtool-invocation: (libtool)Invoking libtool.
-                                                Running the @code{libtool} 
script.
-* libtoolize: (libtool)Invoking libtoolize.     Adding libtool support.
address@hidden direntry
address@hidden
+This manual is for GNU Libtool (version @value{VERSION}, @value{UPDATED}).
 
address@hidden
-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''.
address@hidden copying
 
address@hidden
-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
address@hidden Software development
address@hidden
+* Libtool: (libtool).           Generic shared library support script.
address@hidden direntry
 
address@hidden ignore
address@hidden ifnottex
address@hidden Individual utilities
address@hidden
+* libtool-invocation: (libtool)Invoking libtool. Running the @code{libtool} 
script.
+* libtoolize: (libtool)Invoking libtoolize.      Adding libtool support.
address@hidden 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".
-
address@hidden
 @end titlepage
 
address@hidden Put everything in one index (arbitrarily chosen to be the 
concept index).
address@hidden vr cp
address@hidden fn cp
address@hidden tp cp
address@hidden pg cp
-
 @contents

Diff finished at Fri Oct 21 16:58:49