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

Previous Next

Full log

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)

Previous Next

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