f92512 Update `texinfo_searchIndex.sh':

Authored and Committed by areguera 13 years ago
    Update `texinfo_searchIndex.sh':
    
        - Verify manual output files and, if they don't exist, create
          them.