Move documentaion to docs

fraya · Aug 5, 2023 · bac8448 · bac8448
1 parent 58e7b71
commit bac8448
Show file tree

Hide file tree

Showing 10 changed files with 12 additions and 9 deletions.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -4,11 +4,11 @@ on:
   push:
     # all branches
     paths:
-      - 'documentation/**'
+      - 'docs/**'
   pull_request:
     # all branches
     paths:
-      - 'documentation/**'
+      - 'docs/**'
 
   # This enables the Run Workflow button on the Actions tab.
   workflow_dispatch:
@@ -22,8 +22,13 @@ jobs:
 
   build-and-deploy:
     runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
     steps:
-
       - uses: actions/checkout@v3
 
       - name: Install Open Dylan
@@ -39,9 +44,7 @@ jobs:
       - name: Build docs
         uses: ammaraskar/sphinx-action@master
         with:
-          docs-folder: "documentation/"
+          docs-folder: "docs/"
 
-      - name: Deploy documents to GH pages
-        uses: JamesIves/github-pages-deploy-action@v4
-        with:
-          folder: documentation/build/html
+      - name: deployment
+        uses: sphinx-notes/pages@v3
diff --git a/.gitignore b/.gitignore
@@ -3,4 +3,4 @@
 _build/
 _packages/
 registry/
-documentation/build/
+docs/build/
diff --git a/documentation/.nojekyll → docs/.nojekyll b/documentation/.nojekyll → docs/.nojekyll
diff --git a/documentation/Makefile → docs/Makefile b/documentation/Makefile → docs/Makefile
diff --git a/documentation/make.bat → docs/make.bat b/documentation/make.bat → docs/make.bat
diff --git a/documentation/requirements.txt → docs/requirements.txt b/documentation/requirements.txt → docs/requirements.txt
diff --git a/documentation/source/brainfuck.rst → docs/source/brainfuck.rst b/documentation/source/brainfuck.rst → docs/source/brainfuck.rst
diff --git a/documentation/source/classes.dot → docs/source/classes.dot b/documentation/source/classes.dot → docs/source/classes.dot
diff --git a/documentation/source/conf.py → docs/source/conf.py b/documentation/source/conf.py → docs/source/conf.py
diff --git a/documentation/source/index.rst → docs/source/index.rst b/documentation/source/index.rst → docs/source/index.rst