1f4dd5
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.