Add 'make dist' to the list of JENKINS targets
I have forgotten many times to add the new files to the correct build target in the various Makefile.am. Could we hence add make dist
as one of the commands run by JENKINS when pushing to master ?
If I knew how to access the server I'd have done it bu I don't think I have an account...