[Dune] Grid Documentation

[Oliver Sander]

> If we split the documentation the crossreferences will not work anymore.
>

IMO the application programmer does not need cross references into
the Developer API, and the Developer API will contain the Application API
anyways.

> I would like a module List where we could disable some of the entries
> so that you can only see like the first two levels. All below should
> only be visible when inspecting the particular section. But I have no
> Idea how to achieve this.

That would be an alternative.  I don't know how to do that either, 
though.

Oliver