tree a2e58918edf8f80759af1b4d3b322074100d99d2
parent b205785f1c99775b1ae2986736acbb657f4b52c1
author Nicola Ferraro <ni.ferraro@gmail.com> 1581666441 +0100
committer Nicola Ferraro <ni.ferraro@gmail.com> 1582276722 +0100

Fix #1234: generate documentation