move doc from html to .