Revert "testing deployment of documentation"

This reverts commit 5488ee715f.
2022-09-23 17:31:17 +02:00
1 parent 5c3bb13834
commit 12d0c23c13
@@ -45,7 +45,7 @@ pipeline {
        }
        stage('Documentation') {
            when {
-                branch 'mohr/documentation_ci'
+                branch 'development'
            }
            steps {
                dir(DOCDDIR) {