Include users.texinfo, not database.texinfo.
authorrms <rms>
Mon, 16 Mar 1992 03:57:34 +0000 (03:57 +0000)
committerrms <rms>
Mon, 16 Mar 1992 03:57:34 +0000 (03:57 +0000)
commitc035a977c18d99e15d30af914955aeb7191f1a37
tree1e9ab2606474a7fa3140d8dfc3900e0374a7f343
parent5b98d8dbe54d76996860519adb8750450d4be4ef
Include users.texinfo, not database.texinfo.
manual/libc.texinfo