}
+docstring const LaTeXFont::getUsedPackage(bool ot1, bool complete, bool nomath)
+{
+ docstring const usedfont = getUsedFont(ot1, complete, nomath);
+ if (usedfont.empty())
+ return docstring();
+ return theLaTeXFonts().getLaTeXFont(usedfont).package();
+}
+
+
string const LaTeXFont::getAvailablePackage(bool dryrun)
{
if (package_.empty())
&& providesScale(ot1, complete, nomath)) {
if (!os.str().empty())
os << ',';
- os << subst(to_ascii(scaleoption_), "$$val",
- convert<std::string>(float(scale) / 100));
+ ostringstream value;
+ value << float(scale) / 100;
+ os << subst(to_ascii(scaleoption_), "$$val", value.str());
}
return os.str();
}