From 16b0f7f9ee96a5fdf3c1c989dba0db9279bc907c Mon Sep 17 00:00:00 2001
From: Trenton Holmes <holmes.trenton@gmail.com>
Date: Tue, 19 Jul 2022 14:18:47 -0700
Subject: [PATCH] Removes a Dockerfile I can't find referenced anywhere

---
 docs/Dockerfile | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 docs/Dockerfile

diff --git a/docs/Dockerfile b/docs/Dockerfile
deleted file mode 100644
index bb4b35e2d..000000000
--- a/docs/Dockerfile
+++ /dev/null
@@ -1,17 +0,0 @@
-FROM python:3.5.1
-
-# Install Sphinx and Pygments
-RUN pip install --no-cache-dir Sphinx Pygments \
-  # Setup directories, copy data
-  && mkdir /build
-
-COPY . /build
-WORKDIR /build/docs
-
-# Build documentation
-RUN make html
-
-# Start webserver
-WORKDIR /build/docs/_build/html
-EXPOSE 8000/tcp
-CMD ["python3", "-m", "http.server"]