]>
Commit | Line | Data |
---|---|---|
8d7da47e JB |
1 | --- gdbm-1.13/doc/gdbm.texi.orig 2016-05-21 17:19:34.711227665 +0200 |
2 | +++ gdbm-1.13/doc/gdbm.texi 2016-05-21 17:20:33.357891871 +0200 | |
11a242e8 JB |
3 | @@ -6,11 +6,11 @@ |
4 | @settitle GDBM manual | |
4ec17cc5 JB |
5 | |
6 | @ifinfo | |
0604ce15 | 7 | -@dircategory Programming & development tools |
2ae433ec | 8 | +@dircategory Libraries: |
0604ce15 | 9 | @direntry |
e80dde66 JB |
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. | |
0604ce15 | 13 | +* GDBM: (gdbm). The GNU database manager |
e80dde66 JB |
14 | +* gdbm_dump: (gdbm) gdbm_dump. Dump the GDBM database into a flat file |
15 | +* gdbm_load: (gdbm) gdbm_load. Load the database from a flat file | |
0604ce15 | 16 | @end direntry |
4ec17cc5 JB |
17 | @end ifinfo |
18 |