From c0884c9c210f8742a3679b3b9dcc0f7c595fb4c1 Mon Sep 17 00:00:00 2001
From: Martin Weinelt <martin@darmstadt.freifunk.net>
Date: Thu, 20 Jun 2019 12:56:19 +0200
Subject: [PATCH] Jenkinsfile: try out more stages, build docs

---
 contrib/ci/Jenkinsfile | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile
index 52fe58c3..cb3d6683 100644
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@@ -6,10 +6,18 @@ pipeline {
         BUILD_LOG = "1"
     }
     stages {
+        stage('lint') {
+            steps {
+                sh 'luacheck --std=min {packages,scripts,target}'
+            }
+        }
+        stage('docs') {
+            steps {
+                sh' make -C docs html'
+            }
+        }
         stage('build') {
             steps {
-                sh 'ls -la'
-                sh 'luacheck --std=min .'
                 sh 'make update'
                 sh 'make download'
                 sh 'make -j$(nproc)'