+ Aux_Info const scanAuxFile(std::string const &);
+
+ ///
+ void scanAuxFile(std::string const &, Aux_Info &);
+
+ ///
+ void updateBibtexDependencies(DepTable &,
+ std::vector<Aux_Info> const &);
+
+ ///
+ bool runBibTeX(std::vector<Aux_Info> const &);