On 05 Jan 2015, at 09:55, Alex Hermann alex@speakup.nl wrote:
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.
I use them quite a lot both myself and in trainings. They definitely need to be part of the .tar.gz. Personally I don't see a problem with the diffs and haven't myself seen any merge conflicts - how does this happen to you?
/O