Fix texinfo/man output.
commit2a8241de744c7079de2210c26d462efcae579f71
authorSimon Josefsson <simon@josefsson.org>
Tue, 27 Jun 2006 15:26:36 +0000 (27 15:26 +0000)
committerSimon Josefsson <simon@josefsson.org>
Tue, 27 Jun 2006 15:26:36 +0000 (27 15:26 +0000)
treed6620ce699636d24f4bfb497cf0bd55076b63874
parent5f0a5ffe3bdb7fd5120a27e4bf3245a7d43c940e
Fix texinfo/man output.
doc/gdoc