From ef2bdcb8f94ce9415711f82106f62c35ca0591e7 Mon Sep 17 00:00:00 2001
From: gtema <artem.goncharov@gmail.com>
Date: Wed, 26 Oct 2022 15:36:28 +0000
Subject: [PATCH] convert gif to png for pdf build

Reviewed-by: Goncharov, Artem <artem.goncharov@t-systems.com>
Co-authored-by: gtema <artem.goncharov@gmail.com>
Co-committed-by: gtema <artem.goncharov@gmail.com>
---
 tox.ini | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tox.ini b/tox.ini
index 3207bd4..7c03544 100644
--- a/tox.ini
+++ b/tox.ini
@@ -44,9 +44,12 @@ envdir = {toxworkdir}/api-ref
 whitelist_externals =
   rm
   make
+  sh
 commands =
   rm -rf api-ref/build/pdf
   sphinx-build -a -E -W -b latex api-ref/source api-ref/build/pdf
+  sh -c "for f in api-ref/build/pdf/*.gif; do gif2png -dprsO $f; done || true"
+  sh -c "for f in api-ref/build/pdf/*.tex; do sed -iorig 's/\.gif//g' $f; done"
   make -C api-ref/build/pdf
 
 [testenv:umn]