From 9c1ac5e6d9a2e18656212d8a2b54b9d12a47c6c9 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Thu, 22 Mar 2018 23:37:19 +0100 Subject: [PATCH] amend cfce0ac0 (cherry picked from commit 6415d986ba32373d3c3915ec77473dfa2e2b7ad3) --- src/Buffer.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/Buffer.cpp b/src/Buffer.cpp index 3c2695619a..51fc4e0bd6 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -2356,6 +2356,9 @@ BiblioInfo const & Buffer::bibInfo() const void Buffer::registerBibfiles(FileNamePairList const & bf) const { + // We register the bib files in the master buffer, + // if there is one, but also in every single buffer, + // in case a child is compiled alone. Buffer const * const tmp = masterBuffer(); if (tmp != this) tmp->registerBibfiles(bf); @@ -2429,6 +2432,9 @@ void Buffer::collectBibKeys(FileNameList & checkedFiles) const void Buffer::addBiblioInfo(BiblioInfo const & bin) const { + // We add the biblio info to the master buffer, + // if there is one, but also to every single buffer, + // in case a child is compiled alone. BiblioInfo & bi = d->bibinfo_; bi.mergeBiblioInfo(bin); -- 2.39.5