Merge pull request #1269 from nextcloud/backport/1266/stable13

[stable13] Convert gif inside PDF build process to PNGs
This commit is contained in:
Morris Jobke 2019-02-20 08:44:48 +01:00 committed by GitHub
commit f4e2aa1a6f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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