diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure index b2f8c33380c..cabe2d52d7b 100755 --- a/configure +++ b/configure @@ -645,6 +645,8 @@ probe CFG_ISCC iscc probe CFG_JAVAC javac probe CFG_ANTLR4 antlr4 probe CFG_GRUN grun +probe CFG_FLEX flex +probe CFG_BISON bison probe CFG_PANDOC pandoc probe CFG_PDFLATEX pdflatex probe CFG_XELATEX xelatex |
