diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-11-19 12:04:08 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2018-11-21 14:37:49 +0100 |
commit | 39bbafbfd7a57a00a5d9f0534ba6d6b895d1fc4e (patch) | |
tree | 9f82beb3132f6c566e57bf581603d1f521200800 /contrib/jenkins.sh | |
parent | 41e54a4d7fb044cf1cde1f8a8c1518c3285c6860 (diff) |
*/Makefile.am: add EXTRA_DIST
Necessary for 'make distcheck': the files will otherwise not end up in
the dist archives.
(moving manuals to project repositories 17/19)
Related: OS#3385
Change-Id: I5a2d6e572d346addc8770d1331c9223a56635869
Diffstat (limited to 'contrib/jenkins.sh')
0 files changed, 0 insertions, 0 deletions