On 05 Jan 2015, at 09:55, Alex Hermann <alex(a)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