Merge branch 'master' into playground

.github/workflows/documentation.yml

@@ -2,12 +2,11 @@ name: Documentation
 on:
   workflow_run:
     workflows: ["Evaluation"]
-    types: 
+    types:
       - completed
 
 jobs:
   vocabulary:
-    if: ${{ github.event.workflow_run.conclusion == 'success' }}
     name: SOMA Vocabulary
     runs-on: ubuntu-latest
     defaults:
@@ -17,26 +16,34 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v1
-
+
+      - name: Checkout repository
+        uses: actions/checkout@v2
+
+      - name: Download OWL file
+        uses: actions/download-artifact@v2
+        with:
+          name: SOMA-OWL
+          path: ./build/owl/current/
+
       - name: Copy
         run: |
           cp ./Makefile ../../
           cp ./SOMA-vocabulary.tex ../../
           cp ./owl_reader.py ../../
-        
+
       - name: Build
         uses: ./.github/actions/pythonlatex
-        with: 
+        with:
           args: make
-        
+
       - name: Upload
         uses: actions/upload-artifact@v1
         with:
           name: SOMA Vocabulary
           path: ./SOMA-vocabulary.pdf
 
   handbook:
-    if: ${{ github.event.workflow_run.conclusion == 'success' }}
     name: NEEM Handbook
     runs-on: ubuntu-latest