diff -urNp -x '*.orig' gmp-6.2.1.org/doc/gmp.texi gmp-6.2.1/doc/gmp.texi --- gmp-6.2.1.org/doc/gmp.texi 2020-11-14 19:45:09.000000000 +0100 +++ gmp-6.2.1/doc/gmp.texi 2021-03-21 12:57:05.678931009 +0100 @@ -64,9 +64,10 @@ software''. A copy of the license is in @c may want to search-and-replace to some online source. @c -@dircategory GNU libraries +@dircategory Libraries: @direntry -* gmp: (gmp). GNU Multiple Precision Arithmetic Library. +* gmp: (gmp). GNU Multiple Precision Arithmetic + Library @end direntry @c html