5 Jan
2015
5 Jan
'15
10:55 a.m.
On Friday 02 January 2015 14:20:00 Daniel-Constantin Mierla wrote:
If there is something else that should be part of this
process, just
name it here.
I think we should remove all the generated README's. They contribute a lot to
merge conflicts due to paragraph numbering and the fact that the Makefile for
them is too limited regarding the build environment, resulting in large diffs
depending on local settings like the system locale.
Generating the README's can be made part of the normal build process instead.
Maybe also a separate top-level target.
--
Alex Hermann