From 1540c35afebf2e097f2a9f098b2d58c29375167f Mon Sep 17 00:00:00 2001
From: akaranjkar-qu <41927856+akaranjkar-qu@users.noreply.github.com>
Date: Tue, 17 Mar 2020 21:41:57 -0700
Subject: [PATCH] Revert "Create github action to generate documentation (#28)"
 (#29)

This reverts commit 2a22a2f1986e463d96fa0a217adb24ee6cb1c208.
---
 .github/workflows/generate_docs.yml | 46 -----------------------------
 1 file changed, 46 deletions(-)
 delete mode 100644 .github/workflows/generate_docs.yml

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 }}