Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

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


Ignore:
Timestamp:
Mar 15, 2005, 12:08:27 PM (19 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:
1 edited

Legend:

Unmodified
Added
Removed

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

    r3555 r3558  
    7878DEFS = @DEFS@
    7979DEPDIR = @DEPDIR@
     80DOCUMENTATION_FALSE = @DOCUMENTATION_FALSE@
     81DOCUMENTATION_TRUE = @DOCUMENTATION_TRUE@
    8082DOXYGEN = @DOXYGEN@
    8183DOXYGEN_FALSE = @DOXYGEN_FALSE@
Note: See TracChangeset for help on using the changeset viewer.