Fix warning in texinfo
authorng0 <ng0@n0.is>
Sat, 9 Feb 2019 17:47:10 +0000 (17:47 +0000)
committerng0 <ng0@n0.is>
Sat, 9 Feb 2019 17:47:10 +0000 (17:47 +0000)
commit7fa97abe8e43f4c198ff8f8032e45b147a814e94
tree7ce61c839dffca80cfbec2c9ac6366e3973f68f6
parentb495eba30825a721a4db2482267c98e79d2e8d68
Fix warning in texinfo

Signed-off-by: ng0 <ng0@n0.is>
doc/handbook/chapters/user.texi