bug#9828: libtool.texi: frontmatter cleanups

[Gary V. Vaughan]

close 9828

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

Hi Karl,

>       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.

Applied! Many thanks :)

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