ggz-docs-info.patch

   1 --- ggz-docs-0.0.14.1/games/game-development/ggz-game-development-guide.texi.orig       2008-01-05 20:02:10.000000000 +0100
   2 +++ ggz-docs-0.0.14.1/games/game-development/ggz-game-development-guide.texi    2013-01-29 16:39:22.599743838 +0100
   3 @@ -17,9 +17,9 @@ games, APIs for various programming lang
   4  and integrate game packages.
   5  @end documentdescription
   6
   7 -@dircategory GGZ Gaming Zone
   8 +@dircategory Software development:
   9  @direntry
  10 -* ggz-gamedev: (ggz-gamedev). The GGZ Gaming Zone Game Development Guide
  11 +* ggz-gamedev: (ggz-gamedev).          The GGZ Gaming Zone Game Development Guide
  12  @end direntry
  13
  14  @c End of header ===============================================
  15 --- ggz-docs-0.0.14.1/server/hosting/ggz-hosting-guide.texi.orig        2008-01-05 20:02:14.000000000 +0100
  16 +++ ggz-docs-0.0.14.1/server/hosting/ggz-hosting-guide.texi     2013-01-29 16:42:16.426406883 +0100
  17 @@ -17,9 +17,9 @@ described in detail. Aspects of operatio
  18  gaming portals using GGZ Community are covered as well.
  19  @end documentdescription
  20
  21 -@dircategory GGZ Gaming Zone
  22 +@dircategory Software development:
  23  @direntry
  24 -* ggz-hosting: (ggz-hosting). The GGZ Gaming Zone Hosting Guide
  25 +* ggz-hosting: (ggz-hosting).          The GGZ Gaming Zone Hosting Guide
  26  @end direntry
  27
  28  @c End of header ===============================================