Add hidden dependencies flex, bison

mkan88 · web-flow · commit ff57bb2de05e · 2020-07-01T10:51:52.000Z
diff --git a/docs/source/download.rst b/docs/source/download.rst
@@ -89,6 +89,7 @@ they have the system dependencies:
 * autoconf, automake, libtool
 * CMake
 * zlib
+* flex, bison
 
 Firedrake has been successfully installed on Windows 10 using the
 Windows Subsystem for Linux. There are more detailed
