--- ggz-docs-0.0.9/games/game-development/ggz-game-development-guide.texi.direntry	2004-06-21 22:18:56.000000000 +0800
+++ ggz-docs-0.0.9/games/game-development/ggz-game-development-guide.texi	2004-11-27 07:52:12.545802424 +0800
@@ -36,6 +36,11 @@
 See http://www.ggzgamingzone.org/docs/guides/gamedev/ for the latest edition.
 @end ifinfo
 
+@dircategory Games
+@direntry
+* ggz-game-development-guide: (ggz-game-development-guide). The GGZ Game Development Guide
+@end direntry
+
 @menu
 * Foreword:: General notes about this document
 * The GGZ System:: How games can use the GGZ Gaming Zone
--- ggz-docs-0.0.9/server/hosting/ggz-hosting-guide.texi.direntry	2004-06-21 22:17:57.000000000 +0800
+++ ggz-docs-0.0.9/server/hosting/ggz-hosting-guide.texi	2004-11-27 07:54:20.526346424 +0800
@@ -40,6 +40,11 @@
 See http://www.ggzgamingzone.org/docs/guides/hosting/ for the latest edition.
 @end ifinfo
 
+@dircategory Games
+@direntry
+* ggz-hosting-guide: (ggz-hosting-guide). The GGZ Gaming Zone Hosting Guide
+@end direntry
+
 @menu
 * Foreword:: General notes about this document
 * Game Servers:: History and Diversity