Update the tools HTML documentation