]>
Commit | Line | Data |
---|---|---|
f0366f40 JB |
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 @@ | |
11a242e8 | 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. | |
f0366f40 | 13 | -* gdbmtool: (gdbm) gdbmtool. Examine and modify a GDBM database. |
0604ce15 | 14 | +* GDBM: (gdbm). The GNU database manager |
e80dde66 JB |
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 | |
f0366f40 | 17 | +* gdbmtool: (gdbm) gdbmtool. Examine and modify a GDBM database |
0604ce15 | 18 | @end direntry |
4ec17cc5 JB |
19 | @end ifinfo |
20 |