Oliver Smith 14c80fdb65 contrib/jenkins.sh: "maintainer-clean" after "publish" ... Run "make maintainer-clean" after publishing manuals, not the other way around. Otherwise jenkins.sh fails when running for the master branch, because docs/manuals/Makefile gets deleted although it is still needed to publish the manuals. Related: OS#3047 Fixes: 471fd92170 ("contrib/jenkins.sh: run "make maintainer-clean"") Change-Id: I8ba5369b0948b61c68f43d807312c52465119aa5		2019-07-11 09:33:26 +02:00
..
a-link	move openbsc/* to repos root	2017-08-27 03:52:43 +02:00
systemd	contrib: fix makedistcheck with disabled systemd	2018-12-06 16:31:24 +00:00
Makefile.am	Install systemd services with autotools	2018-09-13 13:58:26 +00:00
jenkins.sh	contrib/jenkins.sh: "maintainer-clean" after "publish"	2019-07-11 09:33:26 +02:00