doc: further fixes.
authorng0 <ng0@infotropique.org>
Thu, 17 Aug 2017 13:02:05 +0000 (13:02 +0000)
committerng0 <ng0@infotropique.org>
Thu, 17 Aug 2017 13:02:05 +0000 (13:02 +0000)
commit910c0b407e0941dd473d5fad103ce822d95e1a86
tree871f3414d8f659fc11251842b56cf1db25cb299a
parent0aecb9fb029fc58bce4e124b26b6bb2d8ee007c9
doc: further fixes.

Signed-off-by: ng0 <ng0@infotropique.org>
doc/chapters/installation.texi
doc/chapters/philosophy.texi
doc/chapters/user.texi