Rename dev-doc into html target