diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-01T14·42+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-01T14·42+0000 |
commit | 5f8a203b556c649ef25b4b855ee795b6cff23e98 (patch) | |
tree | d2b7fb47ad3f089f4bd4d8dfcbaad1e363097545 /configure.ac | |
parent | 1511aa11ce8a529ebf7210a9090653a7d7e885d8 (diff) |
* A rule to make a PDF version of the manual.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 21c43b6490b8..822b15b4b77b 100644 --- a/configure.ac +++ b/configure.ac @@ -135,6 +135,7 @@ AC_PATH_PROG(bison, bison, false) NEED_PROG(perl, perl) NEED_PROG(tar, tar) AC_PATH_PROG(dot, dot) +AC_PATH_PROG(dblatex, dblatex) AC_PATH_PROG(openssl_prog, openssl, openssl) # if not found, call openssl in $PATH AC_SUBST(openssl_prog) |