fix texinfo
authorlurchi <lurchi@strangeplace.net>
Wed, 26 Jun 2019 22:45:42 +0000 (00:45 +0200)
committerlurchi <lurchi@strangeplace.net>
Wed, 26 Jun 2019 22:45:42 +0000 (00:45 +0200)
commit655c6e4801b7df2a449703aade0174aad7f28b78
tree7e4af6a4797f97bd81a43818a447d7aa8d46ba3f
parent6773e33c678069a1b90847ee15dcfbc6a737bd66
fix texinfo
doc/handbook/chapters/installation.texi