Merge pull request #1267 from nextcloud/backport/1266/stable14

[stable14] Convert gif inside PDF build process to PNGs
This commit is contained in:
Morris Jobke 2019-02-20 08:46:09 +01:00 committed by GitHub
commit e5d57ad19f
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