changeset 2325:1f3c1bf9b4ba

Better configure
author Klaus Ethgen <Klaus@Ethgen.de>
date Fri, 06 May 2016 17:29:06 +0100
parents b18b437258f0
children 2c7ecde4663e ef31eba71c15
files configure.in
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
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