[geany/geany-plugins] a3713a: geanygendoc: Re-generate HTML manual