am/doxygen · 3cc6655ee287d943790cc5bcbd9d86f61988e3d7 · Timo Koch / dune-common

Source project has a limited visibility.

13 years ago

Don't try to install doxygen related stuff, if doxygen is not installed. · 3cc6655e

Christian Engwer authored 13 years ago

This fixes #803, but leaves us with the ugly situation, that docs in the 
tar balls don't get installed, if doxygen is missing.

[[Imported from SVN: r6435]]

3cc6655e

History

Don't try to install doxygen related stuff, if doxygen is not installed.

Christian Engwer authored 13 years ago

This fixes #803, but leaves us with the ugly situation, that docs in the 
tar balls don't get installed, if doxygen is missing.

[[Imported from SVN: r6435]]