diff options
| author | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-08-13 05:11:27 +0000 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-08-13 05:11:27 +0000 |
| commit | ab1342557c7909592b5aa0fdb011ce9449b3d492 (patch) | |
| tree | fbb6dfdaa64d4c7b56163a58843a91c551aa9361 /doc/gdbm.texinfo | |
| parent | 0f7f87bb3edce61705636ab503f6c1b28557c13c (diff) | |
| download | gdbm-ab1342557c7909592b5aa0fdb011ce9449b3d492.tar.gz gdbm-ab1342557c7909592b5aa0fdb011ce9449b3d492.tar.bz2 | |
Minor fix in docs
* doc/gdbm.texinfo: Fix direntry records.
Diffstat (limited to 'doc/gdbm.texinfo')
| -rw-r--r-- | doc/gdbm.texinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gdbm.texinfo b/doc/gdbm.texinfo index 02b9946..11fe910 100644 --- a/doc/gdbm.texinfo +++ b/doc/gdbm.texinfo | |||
| @@ -8,9 +8,9 @@ | |||
| 8 | @ifinfo | 8 | @ifinfo |
| 9 | @dircategory Programming & development tools | 9 | @dircategory Programming & development tools |
| 10 | @direntry | 10 | @direntry |
| 11 | * GDBM: (gdbm). The GNU database manager. | 11 | * GDBM: (gdbm). The GNU database manager. |
| 12 | * gdbm_dump: gdbm_dump(gdbm). Dump the GDBM database into a flat file. | 12 | * gdbm_dump: (gdbm) gdbm_dump. Dump the GDBM database into a flat file. |
| 13 | * gdbm_load: gdbm_load(gdbm). Load the database from a flat file. | 13 | * gdbm_load: (gdbm) gdbm_load. Load the database from a flat file. |
| 14 | @end direntry | 14 | @end direntry |
| 15 | @end ifinfo | 15 | @end ifinfo |
| 16 | 16 | ||