Changeset 3558 in orxonox.OLD for orxonox/trunk/doc

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/doc/documentation.am (modified) (1 diff)

orxonox/trunk/doc/documentation.am

@@ -50 +50 @@
 clean-local:  doc-delete
 
+if DOCUMENTATION
 all-local: doc
+else
+all-local: 
+endif
 
 .PHONY: doc doc-config doc-delete