Updating the documentation of a historic building: a case study of the José de Alencar theatre