diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
deleted file mode 100644
index 46e1388..0000000
--- a/.github/workflows/generate_docs.yml
+++ /dev/null
@@ -1,46 +0,0 @@
-# Github actions workflow to generate documentation
-
-name: Generate documentation and update readme
-
-# Trigger the workflow on push event for master branch 
-# or pull request events but only for the master branch with the type closed
-on:
-  push:
-    branches: [ master ]
-  pull_request:
-    branches: [ master ]
-    types: [ closed ]
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    
-    steps:
-    - name: Checkout bootstrap-functions
-      uses: actions/checkout@v2
-
-    - name: Checkout shdoc
-      uses: actions/checkout@v2
-      with:
-        repository: reconquest/shdoc 
-        path: shdoc
-    
-    - name: Add shdoc to PATH
-      run: |
-        echo "::add-path::$GITHUB_WORKSPACE/shdoc"
-        echo "$PATH"
-
-    - name: Generate documentation
-      run: bash generate_docs.sh
-
-    - name: Commit changes
-      run: |
-        git config --local user.email "action@github.com"
-        git config --local user.name "GitHub Action"
-        git add README.md docs/
-        git commit -m "Update documentation"
-
-    - name: Push changes
-      uses: ad-m/github-push-action@master
-      with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}