From 88e92b61ef4597875392bd0368463db86740295f Mon Sep 17 00:00:00 2001
From: Pol Dellaiera <pol.dellaiera@protonmail.com>
Date: Sat, 24 Sep 2022 18:38:34 +0200
Subject: [PATCH] chore: Remove `docker` stuff.

---
 .gitattributes        |  4 +---
 docker-compose.yaml   |  9 ---------
 docker/doc/Dockerfile | 11 -----------
 3 files changed, 1 insertion(+), 23 deletions(-)
 delete mode 100644 docker-compose.yaml
 delete mode 100644 docker/doc/Dockerfile

diff --git a/.gitattributes b/.gitattributes
index e8fea4639..ba22cb1ef 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,6 +1,5 @@
 /.github export-ignore
 /build export-ignore
-/docker export-ignore
 /docs export-ignore
 /spec export-ignore
 /tests export-ignore
@@ -15,7 +14,6 @@
 /.readthedocs.yml export-ignore
 /.scrutinizer.yml export-ignore
 /CHANGELOG.md export-ignore
-/docker-compose.yaml export-ignore
 /infection.json export-ignore
 /LICENSE export-ignore
 /grumphp.yml export-ignore
@@ -24,4 +22,4 @@
 /phpunit.xml export-ignore
 /psalm-baseline.xml export-ignore
 /psalm.xml export-ignore
-/README.md export-ignore
\ No newline at end of file
+/README.md export-ignore
diff --git a/docker-compose.yaml b/docker-compose.yaml
deleted file mode 100644
index 095ff42e8..000000000
--- a/docker-compose.yaml
+++ /dev/null
@@ -1,9 +0,0 @@
-version: "3"
-
-services:
-    doc:
-        build: docker/doc
-        volumes:
-            - ./docs:/etc/Sphinx/source
-        ports:
-            - 8100:80
diff --git a/docker/doc/Dockerfile b/docker/doc/Dockerfile
deleted file mode 100644
index 7657fe689..000000000
--- a/docker/doc/Dockerfile
+++ /dev/null
@@ -1,11 +0,0 @@
-FROM alpine:latest
-WORKDIR /etc/
-RUN mkdir -p /etc/Sphinx/build
-
-RUN apk add --no-cache python3 py3-pip make git
-
-RUN pip3 install git+https://github.com/sphinx-doc/sphinx
-RUN pip3 install sphinx-autobuild
-RUN pip3 install sphinx-rtd-theme
-
-CMD sphinx-autobuild -b html --host 0.0.0.0 --port 80 /etc/Sphinx/source /etc/Sphinx/build