Convert gif inside PDF build process to PNGs

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
This commit is contained in:
Morris Jobke 2019-02-19 09:36:35 +01:00 committed by Backportbot
parent dafe54d588
commit b59f825305

View File

@ -183,7 +183,10 @@ latex_elements = {
#'pointsize': '10pt',
# Additional stuff for the LaTeX preamble.
#'preamble': '',
'preamble': '\usepackage{epstopdf}\
\
\epstopdfDeclareGraphicsRule{.gif}{png}{.png}{convert gif:#1 png:\OutputFile}\
\AppendGraphicsExtensions{.gif}',
}
# Grouping the document tree into LaTeX files. List of tuples