Description: Tolerate recent doxygen

 Upstream rejects Doxygen 1.8.11 or newer as reuslts are poor.

 We have no other Doxygen, and think poor documentation is better than

 none.

Author: Jonas Smedegaard <dr@jones.dk>

Last-Update: 2018-05-07

---

This patch header follows DEP-3: http://dep.debian.net/deps/dep3/

--- a/configure.ac

+++ b/configure.ac

@@ -476,20 +476,6 @@

               [AC_MSG_ERROR([doxygen or dot not found. See README.md for installation instructions or remove --enable-docs])])

       ])

 AM_CONDITIONAL([ENABLE_DOCS], [test "x$enable_docs" = "xyes"])

-if test "x$enable_docs" = "xyes"; then

-	doxygen_version=$($DOXYGEN --version)

-	AS_VERSION_COMPARE([$doxygen_version], [1.8.11],

-                           [],

-                           [],

-                           [

-                            AS_VERSION_COMPARE([$doxygen_version], [1.8.14],

-                                               [AC_MSG_ERROR([Doxygen $doxygen_version not usable: versions between 1.8.12 and 1.8.14 are known to render poorly.])],

-                                               [],

-                                               []

-                                              )

-                           ]

-                          )

-fi

 AC_CHECK_PROG([GENGETOPT_CHECK],

               [gengetopt],