From c5181e4c7504c0ad90e11dfa4f987d32d31897da Mon Sep 17 00:00:00 2001
From: Ajda Pretnar <ajdapretnar@gmail.com>
Date: Mon, 3 Feb 2020 14:41:13 +0100
Subject: [PATCH] Trick build_docs to ignore explicitly unindexed images

---
 .travis/build_doc.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis/build_doc.sh b/.travis/build_doc.sh
index c4cd39c0ad8..2fc9d3ea770 100644
--- a/.travis/build_doc.sh
+++ b/.travis/build_doc.sh
@@ -11,6 +11,9 @@ images="$(git diff --name-only origin/master..HEAD |
 echo "Checking if images are indexed:"
 while read image; do
     [ -f "$image" ] || continue
+    if  [[ "$image" == *"_unindexed"* ]]; then
+      continue
+    fi
     imtype=$(identify -verbose "$image" | awk '/^ *Type: /{ print $2 }')
     echo "$image  $imtype"
     if ! echo "$imtype" | grep -Eq '(Palette|Grayscale)'; then