Changeset 3558 in orxonox.OLD for orxonox/trunk/src/lib/gui/console

Timestamp:

Mar 15, 2005, 12:08:27 PM (20 years ago)

Author:

bensch

Message:

orxonox/trunk: now the documentation only gets build if requested either by the configure skript via: ./configure —enable-ducumentation, or by building in trunk: make doc

File:

• orxonox/trunk/src/lib/gui/console/Makefile.in (modified) (1 diff)

orxonox/trunk/src/lib/gui/console/Makefile.in

@@ -96 +96 @@
 DEFS = @DEFS@
 DEPDIR = @DEPDIR@
+DOCUMENTATION_FALSE = @DOCUMENTATION_FALSE@
+DOCUMENTATION_TRUE = @DOCUMENTATION_TRUE@
 DOXYGEN = @DOXYGEN@
 DOXYGEN_FALSE = @DOXYGEN_FALSE@