Allow SVGs in HTML output (#7441)

This is only a specific part of #7441.

Patch from Julien Rioux.
This commit is contained in:
Scott Kostyshak 2015-05-27 11:25:06 -04:00
parent ab1e13702e
commit 7399d99c98

View File

@ -119,8 +119,14 @@ string findTargetFormat(string const & format, OutputParams const & runparams)
} }
// for HTML, we leave the known formats and otherwise convert to png // for HTML, we leave the known formats and otherwise convert to png
if (runparams.flavor == OutputParams::HTML) { if (runparams.flavor == OutputParams::HTML) {
Format const * const f = formats.getFormat(format);
// Convert vector graphics to svg
if (f && f->vectorFormat() && theConverters().isReachable(format, "svg"))
return "svg";
// Leave the known formats alone
if (format == "jpg" || format == "png" || format == "gif") if (format == "jpg" || format == "png" || format == "gif")
return format; return format;
// Convert everything else to png
return "png"; return "png";
} }
// If it's postscript, we always do eps. // If it's postscript, we always do eps.