gendoc fixes
authorng0 <ng0@infotropique.org>
Fri, 27 Oct 2017 16:30:07 +0000 (16:30 +0000)
committerng0 <ng0@infotropique.org>
Fri, 27 Oct 2017 16:30:07 +0000 (16:30 +0000)
commitd7de9564fdc1db1e572d9f1c9d611d77ab57446e
tree0acd26e04e49ef1b01f39e8f4502f53b20e09f24
parent15314f41abc02547eaf2dd51f7c041a10bc62138
gendoc fixes
doc/documentation/index.html
doc/documentation/run-gendocs.sh