diff --git a/docs/docs/developer-guide/index.html b/docs/docs/developer-guide/index.html index 4702f39a..7a594822 100644 --- a/docs/docs/developer-guide/index.html +++ b/docs/docs/developer-guide/index.html @@ -26,7 +26,7 @@ " /> - + @@ -1365,7 +1365,7 @@ make deploy-webhook -
/usr/bin/tini -s -- /usr/local/bin/jenkins.sh command runs the
 - /var/jenkins/scripts/init.sh && <custom-code-here> && /usr/bin/tini -s -- /usr/local/bin/jenkins.sh
 	
 	
-