EXTRA_DIST got too long, I shortened it now but we have to do something
else as it will grow a lot more...
1 file changed