installation.texi: some texinfo versions reported this as bad syntax.
authorNils Gillmann <ng0@n0.is>
Sun, 21 Oct 2018 12:29:22 +0000 (12:29 +0000)
committerNils Gillmann <ng0@n0.is>
Sun, 21 Oct 2018 12:29:22 +0000 (12:29 +0000)
commit0c2092a61ecf110c8504b84d726a119b7389ed64
tree62808449982639ceae98816132bf44e8a463abb4
parent5378a0bf656cd65e50a97cd61c43d5e02c03da26
installation.texi: some texinfo versions reported this as bad syntax.

Signed-off-by: Nils Gillmann <ng0@n0.is>
doc/documentation/chapters/installation.texi