diff --git a/Jenkinsfile b/Jenkinsfile
index b722110f..1c6c674f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
                 script {
                     sh 'tox -rv'  // makes pre-commit check style
                     if (env.GIT_BRANCH.startsWith('wip/')) {
-                      sh 'make css'
+                      sh 'python3 setup.py compile_scss'
                     }
                     sh '(cd help/fr/ && if [ $(yelp-build html *.page 2>&1 | wc -c) -ne 0 ]; then exit 1; fi)'
                     sh 'git clean -xdf'