amend cfce0ac0

(cherry picked from commit 6415d986ba32373d3c3915ec77473dfa2e2b7ad3)

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 3c2695619a54e78c31c164528d4e5a4503838ad6..51fc4e0bd66733e0925ae084ea3506b57a6bc89d 100644 (file)
--- 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);