projects / packages / ggz-docs.git / blame
| Commit | Line | Data |
|---|---|---|
| edda7bac JB |
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 =============================================== |