--- gmp-4.2/doc/gmp.texi.orig	Thu Oct  5 01:24:56 2000
+++ gmp-4.2/doc/gmp.texi	Fri Aug 10 14:52:52 2001
@@ -9,9 +9,10 @@
 @end iftex
 @comment %**end of header
 
-@dircategory GNU libraries
+@dircategory Libraries:
 @direntry
-* gmp: (gmp).                   GNU Multiple Precision Arithmetic Library.
+* gmp: (gmp).				GNU Multiple Precision Arithmetic
+					Library
 @end direntry
 
 @c smallbook