doc to dochtml