diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-30 16:32:14 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-30 16:32:14 +0000 |
| commit | c6257185139bf5f298b19177867f3afa8e5472b7 (patch) | |
| tree | 59b51de23f31e4e45b6499d91249218aa943877f /configure.ac | |
| parent | c5baaafae69394082817ede9e6eb3910c4601a72 (diff) | |
* Detect flex and bison; updated the manual.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index e04b9684b..c6cb782d8 100644 --- a/configure.ac +++ b/configure.ac @@ -45,6 +45,8 @@ AC_LANG_POP(C++) AC_PATH_PROG(wget, wget) AC_PATH_PROG(xmllint, xmllint) AC_PATH_PROG(xsltproc, xsltproc) +AC_PATH_PROG(flex, flex, false) +AC_PATH_PROG(bison, bison, false) AC_ARG_WITH(docbook-catalog, AC_HELP_STRING([--with-docbook-catalog=PATH], [path of the DocBook XML DTD]), |