Re: Tiny documentation patch

[Christopher Roy Bratusek <zanghar freenet de>]

Am Mon, 23 Nov 2009 13:18:23 -0800
schrieb Rodrigo Gallardo <rodrigo nul-unu com>:

> This is one of two remaining patches in the Debian packaging of
> 1.5. It adds a section header to the info file, which is required by
> the install-info tool to know where in the system-wide directory of
> info files to put an entry for the sawfish manual.
> 
> 
> Index: sawfish/man/sawfish.texi
> ===================================================================
> --- sawfish.orig/man/sawfish.texi
> +++ sawfish/man/sawfish.texi
> @@ -9,6 +9,7 @@
>  @set UPDATE-MONTH Apr 2009
>  
>  @ifinfo
> + dircategory Programming
>  @direntry
>  * sawfish: (sawfish).		sawfish programming manual
>  @end direntry

Hi Rodrigo, 

this has already been added to 1.6.0 and 1.5x branch is closed.

Regards,
Chris