update html (generated by sphinx)