From 9559a0c96c11681d4c664ab50de287526f5b568a Mon Sep 17 00:00:00 2001
From: Klaus Ethgen <Klaus@Ethgen.de>
Date: Fri, 6 May 2016 17:29:06 +0100
Subject: [PATCH] Better configure

---
 configure.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/configure.in b/configure.in
index 202897c9..b5c03ed3 100644
--- a/configure.in
+++ b/configure.in
@@ -598,8 +598,7 @@ Support:
   Lua:	         $HAVE_LUA
 
 Documentation:
-  Doxygen:       $DOXYGEN
-  Formats:       $doxy_formats_report
+  Doxygen:       $DX_DOXYGEN
   doc-tool:      $GNOME_DOC_TOOL
 
 END
-- 
2.20.1