diff configure.in @ 2325:1f3c1bf9b4ba

Better configure
author Klaus Ethgen <Klaus@Ethgen.de>
date Fri, 06 May 2016 17:29:06 +0100
parents 1dbc3665fa46
children 6f49b2b7d2e0
line wrap: on
line diff
--- a/configure.in	Fri May 06 17:09:18 2016 +0100
+++ b/configure.in	Fri May 06 17:29:06 2016 +0100
@@ -598,8 +598,7 @@
   Lua:	         $HAVE_LUA
 
 Documentation:
-  Doxygen:       $DOXYGEN
-  Formats:       $doxy_formats_report
+  Doxygen:       $DX_DOXYGEN
   doc-tool:      $GNOME_DOC_TOOL
 
 END