88bc33 Update `repository.texinfo' from es_ES repository documentation

Authored and Committed by areguera 13 years ago
    Update `repository.texinfo' from es_ES repository documentation
    manaual.