diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2005-12-08 17:47:27 +0000 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2005-12-08 17:47:27 +0000 |
| commit | 0f3579bce9bd81a91a6ec8f41051f13fa668cb7b (patch) | |
| tree | 1c4e87198bc5b97a5741608b2aab4fc13de2627e /configure.in | |
| parent | dd3ee0ced482fcd3533e0e5b113bb575fe7a7633 (diff) | |
* add more missing bits from debians apt
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/configure.in b/configure.in index 8b2a301e0..a0c7cdd9d 100644 --- a/configure.in +++ b/configure.in @@ -181,9 +181,6 @@ AC_PATH_PROG(DOCBOOK2MAN,docbook2man) dnl Check for the XML tools needed to build man pages AC_PATH_PROG(XMLTO,xmlto) -dnl Check for the XML tools needed to build man pages -AC_PATH_PROG(XMLTO,xmlto) - dnl Check for YODL dnl AC_CHECK_PROG(YODL_MAN,yodl2man,"yes","") |