From 09c9517c64ea00cc99bd23a6d34137d18a61b194 Mon Sep 17 00:00:00 2001
From: Thibault Saunier <tsaunier@igalia.com>
Date: Thu, 25 Apr 2019 16:48:02 -0400
Subject: [PATCH] docker: Explicitely install flex before installing hotdoc

---
 docker/fedora/prepare.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/fedora/prepare.sh b/docker/fedora/prepare.sh
index 61f15ca7e5..76e9ff3c48 100644
--- a/docker/fedora/prepare.sh
+++ b/docker/fedora/prepare.sh
@@ -42,6 +42,7 @@ dnf install -y \
     ffmpeg \
     ffmpeg-libs \
     ffmpeg-devel \
+    flex \
     flite \
     flite-devel \
     mono-devel \