doc: install: mixed fixes.
authorng0 <ng0@infotropique.org>
Mon, 21 Aug 2017 08:05:53 +0000 (08:05 +0000)
committerng0 <ng0@infotropique.org>
Mon, 21 Aug 2017 08:05:53 +0000 (08:05 +0000)
commit76e9cc144c86a49aa458536a4b5e8c97c4c968d3
tree765697035d4e247f1043192751c3241a88ca622d
parentf47c0fe740332a8149c73360351f28680a5c35b9
doc: install: mixed fixes.
doc/chapters/installation.texi