Restore doc building (html)