1f4dd5 Update Backends/Texinfo/texinfo_getEntry.sh:

Authored and Committed by areguera 13 years ago
    Update Backends/Texinfo/texinfo_getEntry.sh:
    
        - It is possible to pass a list of entries as first argument to
          this function. As result, a list of documentation entries is
          output.