gdbm-info.patch

   1 --- gdbm-1.15/doc/gdbm.texi.orig        2018-06-16 22:15:18.535568988 +0200
   2 +++ gdbm-1.15/doc/gdbm.texi     2018-06-16 22:17:11.792234365 +0200
   3 @@ -6,12 +6,12 @@
   4  @settitle GDBM manual
   5
   6  @ifinfo
   7 -@dircategory Programming & development tools
   8 +@dircategory Libraries:
   9  @direntry
  10 -* GDBM: (gdbm).                  The GNU database manager.
  11 -* gdbm_dump: (gdbm) gdbm_dump.   Dump the GDBM database into a flat file.
  12 -* gdbm_load: (gdbm) gdbm_load.   Load the database from a flat file.
  13 -* gdbmtool: (gdbm) gdbmtool.     Examine and modify a GDBM database.
  14 +* GDBM: (gdbm).                                The GNU database manager
  15 +* gdbm_dump: (gdbm) gdbm_dump.         Dump the GDBM database into a flat file
  16 +* gdbm_load: (gdbm) gdbm_load.         Load the database from a flat file
  17 +* gdbmtool: (gdbm) gdbmtool.           Examine and modify a GDBM database
  18  @end direntry
  19  @end ifinfo
  20