[Dune] Documentation for make headercheck

[Oliver Sander]

Dear Dune!
Is there documentation somewhere for the nice `make headercheck'
feature?  I'd like to use it but forgot the magic options that
make make show me the compilation errors.

Thanks,
Oliver

-- 
************************************************************************
* Oliver Sander                ** email: sander at mi.fu-berlin.de        *
* Freie Universität Berlin     ** phone: + 49 (30) 838 75217           *
* Institut für Mathematik      ** URL  : page.mi.fu-berlin.de/~sander  *
* Arnimallee 6                 ** -------------------------------------*
* 14195 Berlin, Germany        ** Member of MATHEON (www.matheon.de)   *
************************************************************************