Should we include generated files in the github repository? My suspicion is people will only be able to use it if their environment is exactly the same as the one they were generated from.
Advantage is people will start with a clean slate and the generated files will fit their environment. Contra argument is that people will need the development tools (automake, autoconf and m4 tools). Most often, the packager for their distribution should take care of this, unless they are rolling their own. So, the contra more or less disappears.
I am inclined to remove the generated autotool files from git. Let me know what you think.
Hi Alessandro,
Should we include generated files in the github repository? My suspicion is people will only be able to use it if their environment is exactly the same as the one they were generated from.
Advantage is people will start with a clean slate and the generated files will fit their environment. Contra argument is that people will need the development tools (automake, autoconf and m4 tools). Most often, the packager for their distribution should take care of this, unless they are rolling their own. So, the contra more or less disappears.
I am inclined to remove the generated autotool files from git. Let me know what you think.