--- doc/xnee_develop.texi.orig	Fri Mar  7 06:03:53 2003
+++ doc/xnee_develop.texi	Fri Apr 18 17:06:12 2003
@@ -10,7 +10,7 @@
 
 @dircategory Miscellaneous
 @direntry
-* : (Xnee).        Xnee's Not Event Emulator.
+* Xnee_develop: (xnee_develop).	Xnee Development Guide.
 @end direntry
 
 @c Put everything in one index (arbitrarily chosen to be the concept index).