standalone sphinx not needed any more

.gitlab-ci.yml

@@ -224,24 +224,12 @@ source_distribution:
     - master
     - release
 
-library_documentation:
-  stage: deploy
-  script:
-    - cd $DAMASKROOT/PRIVATE/documenting/sphinx
-    - make html
-  except:
-    - master
-    - release
-
 ##################################################################################################
 backup_runtime_measurement:
   stage: backup
   script:
     - cd $LOCAL_HOME/performance                                                                    # location of new runtime results
     - git commit -am"${CI_PIPELINE_ID}_${CI_COMMIT_SHA}"
-    - mkdir $BACKUP/${CI_PIPELINE_ID}_${CI_COMMIT_SHA}
-    - mv $LOCAL_HOME/performance/time.png $BACKUP/${CI_PIPELINE_ID}_${CI_COMMIT_SHA}/
-    - mv $LOCAL_HOME/performance/memory.png $BACKUP/${CI_PIPELINE_ID}_${CI_COMMIT_SHA}/
   only:
     - development
 

PRIVATE

@@ -1 +1 @@
-Subproject commit 945cf906c308192327841fd659dee6d55dcd4137
+Subproject commit 8a6ab2d16b01ca6fa4cd8cef62f68cd1b4f0cadd