update docs structure

emmo-repo · May 7, 2024 · e822e48 · e822e48
1 parent 03eb924
commit e822e48
Show file tree

Hide file tree

Showing 53 changed files with 7 additions and 55,164 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -33,16 +33,16 @@ jobs:
         pip install Markdown==3.4.3 rdflib==6.3.2  # Add any other dependencies if needed
         
     - name: Render documentation from ttl
-      run: python sphinx/ttl_to_rst.py
+      run: python docs/ttl_to_rst.py
 
     - name: Build HTML
       uses: ammaraskar/sphinx-action@master
       with:
-        docs-folder: "sphinx/"
+        docs-folder: "docs/"
         pre-build-command: "apt-get update -y; apt-get install -y pandoc"
 
     - name: Create context file from ttl
-      run: python sphinx/ttl_to_context.py
+      run: python docs/ttl_to_context.py
 
     - name: Check if HTML context directory exists
       run: |
@@ -61,7 +61,7 @@ jobs:
         fi
     
     - name: Copy context file to HTML directory
-      run: sudo cp context/context.json sphinx/_build/html/context/
+      run: sudo cp context/context.json docs/_build/html/context/
 
     - name: Commit changes
       run: |
@@ -104,13 +104,13 @@ jobs:
       uses: actions/upload-artifact@v4
       with:
         name: documentationHTML
-        path: sphinx/_build/html/
+        path: docs/_build/html/
 
     - name: Deploy
       uses: peaceiris/actions-gh-pages@v3
       if: github.ref == 'refs/heads/master'
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: sphinx/_build/html
+        publish_dir: docs/_build/html
 
 
diff --git a/sphinx/.gitignore → docs/.gitignore b/sphinx/.gitignore → docs/.gitignore
diff --git a/sphinx/Makefile → docs/Makefile b/sphinx/Makefile → docs/Makefile
diff --git a/sphinx/README.org → docs/README.org b/sphinx/README.org → docs/README.org
diff --git a/sphinx/_static/css/custom.css → docs/_static/css/custom.css b/sphinx/_static/css/custom.css → docs/_static/css/custom.css
diff --git a/docs/about.html b/docs/about.html
diff --git a/sphinx/about.rst → docs/about.rst b/sphinx/about.rst → docs/about.rst
diff --git a/docs/assets/about.md b/docs/assets/about.md
diff --git a/docs/assets/banner.jpg b/docs/assets/banner.jpg
diff --git a/docs/assets/banner.svg b/docs/assets/banner.svg
diff --git a/docs/assets/contribute.md b/docs/assets/contribute.md
diff --git a/docs/assets/favicon.ico b/docs/assets/favicon.ico
diff --git a/docs/assets/images/bigmap_logo.png b/docs/assets/images/bigmap_logo.png
diff --git a/docs/assets/images/flag_of_europe.png b/docs/assets/images/flag_of_europe.png
diff --git a/docs/assets/index.md b/docs/assets/index.md