[Dune] Flyspray task #57 - Error while making documentation

[dune at hal.iwr.uni-heidelberg.de]

THIS IS AN AUTOMATICALLY GENERATED MESSAGE, DO NOT REPLY
------------------------------------------------------------------------

Notice from Dune 

A new Flyspray task has been opened in this category - "Documentation"
You are receiving this because you are listed as the category owner.

Task summary: Error while making documentation 

You can find more information about this bug at the Flyspray page:
http://hal.iwr.uni-heidelberg.de/flyspray/index.php?do=details&id=57