From 0bddf5e096ca3ccc677e3f804f8d724ddcdb8783 Mon Sep 17 00:00:00 2001
From: Benjamin Sergeant <bsergean@gmail.com>
Date: Tue, 17 Mar 2020 10:21:51 -0700
Subject: [PATCH] remove workflow created manually

---
 .github/workflows/mkdoc.yml | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 .github/workflows/mkdoc.yml

diff --git a/.github/workflows/mkdoc.yml b/.github/workflows/mkdoc.yml
deleted file mode 100644
index d3b5b8fb..00000000
--- a/.github/workflows/mkdoc.yml
+++ /dev/null
@@ -1,22 +0,0 @@
-name: mkdocs
-on:
-  push:
-    paths:
-    - 'docs/**'
-
-jobs:
-  linux:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2
-    - name: Set up Python 3.8
-      uses: actions/setup-python@v1
-      with:
-        python-version: 3.8
-    - name: Install dependencies
-      run: |
-        python -m pip install --upgrade pip
-        pip install mkdocs
-    - name: Build doc
-      run: |
-        mkdocs gh-deploy