'Merge global information gathered about *docnames* while reading them
from the *other* environment.
This possibly comes from a parallel build process.'

def merge_info_from(self, docnames, other, app):

    docnames = set(docnames)
    for docname in docnames:
        self.all_docs[docname] = other.all_docs[docname]
        if (docname in other.reread_always):
            self.reread_always.add(docname)
    for (version, changes) in other.versionchanges.items():
        self.versionchanges.setdefault(version, []).extend((change for change in changes if (change[1] in docnames)))
    for (domainname, domain) in self.domains.items():
        domain.merge_domaindata(docnames, other.domaindata[domainname])
    app.emit('env-merge-info', self, docnames, other)
