path: root/games/gnushogi/files/patch-doc_gnushogi.texi

--- doc/gnushogi.texi.orig	2014-02-17 20:26:59 UTC
+++ doc/gnushogi.texi
@@ -3,6 +3,10 @@
 @c % **  Start of header.
 @setfilename gnushogi.info
 @settitle GNU Shogi manual
+@dircategory
+@direntry Games
+* GNUShogi: (gnushogi).		GNU Shogi.
+@end direntry
 @c % **  End of header.
 
 @dircategory Games