Update documents in doc/