Tiny documentation patch

[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