Regenerate tools and library HTML documentation