diff --git a/Jenkinsfile b/Jenkinsfile
index 6746f56..15ed2ec 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,10 @@ pipeline {
                         unset WORKSPACE_TMP
                         rm -rf doc
                         dart pub get
-                        dart doc
+                        # dart doc
+                        # Workaround for dart doc being broken at the moment
+                        dart pub global activate dartdoc
+                        dart pub global run dartdoc
 
                         tar -cvf docs.tgz doc/api/*