[Dune-devel] Doxygen skipped when doc/doxygen/html/index.html found

[Christoph Grüninger]

Hi Markus,
when CMake finds doc/doxygen/html/index.html in the source 
directory
doxygen is skipped. I don't think this is a good idea any 
longer. Or
is there a reason to stick to the old behavior?

Attached patch changes this considerateness.

Bye
Christoph

-- 
Je n'ai rien contre les étrangers, quelques uns de mes 
meilleurs amis
sont des étrangers. Mais ces étrangers là ne sont pas de chez 
nous!
[Agecanonix, Astérix - Le cadeau de César]
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-CMake-Doxygen-ignores-existens-of-doc-doxygen-html-i.patch
Type: application/octet-stream
Size: 3151 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20150311/b1ba69fa/attachment.obj>