integrations doc: Move jenkins doc to separate file.

2025-11-04 14:03:30 +00:00 · 2017-04-05 07:25:43 +02:00
parent 34500f755c
commit f0ace02e6c
3 changed files with 73 additions and 63 deletions
--- a/zerver/lib/integrations.py
+++ b/zerver/lib/integrations.py
@@ -195,7 +195,12 @@ INTEGRATIONS = {
        doc='zerver/integrations/google-calendar.html'
    ),
    'hubot': Integration('hubot', 'hubot', doc='zerver/integrations/hubot.html'),
-    'jenkins': Integration('jenkins', 'jenkins', secondary_line_text='(or Hudson)'),
+    'jenkins': Integration(
+        'jenkins',
+        'jenkins',
+        secondary_line_text='(or Hudson)',
+        doc='zerver/integrations/jenkins.html'
+    ),
    'jira-plugin': Integration(
        'jira-plugin',
        'jira-plugin',