Better configure

diff --git a/configure.in b/configure.in
index 202897c..b5c03ed 100644 (file)
--- 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