fef978 Update Repository documentation manual:

Authored and Committed by areguera 13 years ago
    Update Repository documentation manual:
    
        - Update name of texinfo files controling chapter nodes, index and
          menu of manual. Make names shorter.
    
    
        
Manuals/Repository/repository-index.texi Manuals/Repository/repository-chapter-index.texi
file renamed
file was renamed with no change to the file
Manuals/Repository/repository-menu.texi Manuals/Repository/repository-chapter-menu.texi
file renamed
file was renamed with no change to the file
Manuals/Repository/repository-nodes.texi Manuals/Repository/repository-chapter-nodes.texi
file renamed
file was renamed with no change to the file