On Monday 05 January 2015, Olle E. Johansson wrote:
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.
I didn't mean them to be removed completely, just from the repository. Generated files don't belong there. They can still be shipped in the tarball. Git users should be able to just run 'make docs' or something similar in the root to get the README's generated.
Personally I don't see a problem with the diffs and haven't myself seen any merge conflicts - how does this happen to you?
The reasons are mentioned above. Mainly paragraph numbering and the makefile not setting up a consistent environment.