fix
authorng0 <ng0@infotropique.org>
Wed, 25 Oct 2017 18:32:02 +0000 (18:32 +0000)
committerng0 <ng0@infotropique.org>
Wed, 25 Oct 2017 18:32:02 +0000 (18:32 +0000)
commit94ee23b5e9c88d9965627d7deb692750df24869a
treec6558fd0f760001a2dcdb60c9efd5c97a7d4118f
parentee87f542aaebedc406fe3924bfa5f793e5b9d2c3
fix
doc/documentation/chapters/user.texi
doc/documentation/run-gendocs.sh