From 63b02eaca306f726a87590ea2caeb370150f23f2 Mon Sep 17 00:00:00 2001
From: Martin Weinelt <martin@darmstadt.freifunk.net>
Date: Thu, 20 Jun 2019 23:44:33 +0200
Subject: [PATCH] fixup! Jenkinsfile: try out more stages, build docs

---
 contrib/ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile
index cb3d6683..2da3da2e 100644
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
     stages {
         stage('lint') {
             steps {
-                sh 'luacheck --std=min {packages,scripts,target}'
+                sh 'luacheck package scripts targets'
             }
         }
         stage('docs') {