fix for texinfo 5.1
commit727160f7d4a81d4eda717e76b1caca2bedd1bf3e
authorDaniel Schepler <dschepler@gmail.com>
Thu, 8 Aug 2013 23:12:49 +0000 (8 17:12 -0600)
committerKen Dreyer <ktdreyer@ktdreyer.com>
Tue, 13 Aug 2013 08:37:17 +0000 (13 02:37 -0600)
treec926e53cc073edb5ef2b4fa9b1de6edc73e0374d
parent5fcac8a7bda7e233025985e51d938c52bcb9c713
fix for texinfo 5.1

Signed-off-by: Ken Dreyer <ktdreyer@ktdreyer.com>
(cherry picked from commit a1d7f1f3e3cc6717f32a517053015585c47177ba)
doc/hx509.texi