From db99e98236ec6bb597245d498b5ef8665ef98107 Mon Sep 17 00:00:00 2001
From: Ian Barwick <ian@2ndquadrant.com>
Date: Tue, 24 Sep 2019 11:34:24 +0900
Subject: [PATCH] doc: note flex required for source builds

From 5.0 onwards.
---
 doc/install-source.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/install-source.xml b/doc/install-source.xml
index 7991c4ff..75e2e9dc 100644
--- a/doc/install-source.xml
+++ b/doc/install-source.xml
@@ -61,6 +61,9 @@ deb-src http://apt.postgresql.org/pub/repos/apt/ stretch-pgdg main</programlisti
 
          <itemizedlist spacing="compact" mark="bullet">
 
+           <listitem>
+             <simpara><literal>flex</literal></simpara>
+           </listitem>
            <listitem>
              <simpara><literal>libedit-dev</literal></simpara>
            </listitem>
@@ -115,6 +118,9 @@ deb-src http://apt.postgresql.org/pub/repos/apt/ stretch-pgdg main</programlisti
 
          <itemizedlist spacing="compact" mark="bullet">
 
+           <listitem>
+             <simpara><literal>flex</literal></simpara>
+           </listitem>
            <listitem>
              <simpara><literal>libselinux-devel</literal></simpara>
            </listitem>