fnindex is wrong texinfo.
authorNils Gillmann <ng0@n0.is>
Sun, 21 Oct 2018 12:33:23 +0000 (12:33 +0000)
committerNils Gillmann <ng0@n0.is>
Sun, 21 Oct 2018 12:33:23 +0000 (12:33 +0000)
commit4718e7b56b3d944a55b7eabb15dff850faf8a02f
tree4d32e11845daf5a67f88c1eb230f4fa767afd464
parent0c2092a61ecf110c8504b84d726a119b7389ed64
fnindex is wrong texinfo.

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