Am Thu, 10. Mar 2016, 15:49:01 +0100 schrieb Óscar Fuentes:
> 
> jorrit@jorrit.de (Jö Fahlke) writes:
> 
> > I wanted to get that out there.  If anyone wants to turn that into a
> > proper patch, feel free, otherwise I might find time to do that myself
> > later.
> 
> Please provide a proper patch and I will install it.

Hi!

Please find the patch attached.  It is in default "git format-patch"-format, I
hope that is OK.  git does not seem to support "diff -c" format (as per
"(emacs)Sending Patches").

There is one small issue: The regular expressions (after the patch) recognize
note lines of the form

"  cmake/modules/DuneGridMacros.cmake:19 (include)"

as well as

"  * cmake/modules/DuneGridMacros.cmake:19 (include)"

I was unable to reproduce examples of the second kind, so I did not put any
into etc/compilation.txt or the test, since I did not want to make them up.  I
took the regular expression from my ~/.emacs, so I'm pretty sure I came across
note lines of the second format at some point.

Regards,
Jö.

-- 
Jorrit (Jö) Fahlke, Institute for Computational und Applied Mathematics,
University of Münster, Orleans-Ring 10, D-48149 Münster
Tel: +49 251 83 35146 Fax: +49 251 83 32729

Of all the things I've lost, I miss my mind the most.
-- Ozzy Osbourne