Remove sphinx docs from repo

1. We haven't been publishing the docs anywhere for years 2. There's no CI or automation that builds the docs 3. The docs contents are outdated, they previously contained proposals which now have their own dedicated repo.
lukestanley · Mar 30, 2023 · 1034e6d · 1034e6d
1 parent 8327e56
commit 1034e6d
Show file tree

Hide file tree

Showing 15 changed files with 1 addition and 3,944 deletions.
diff --git a/docs/Makefile b/docs/Makefile
diff --git a/docs/conf.py b/docs/conf.py
diff --git a/docs/index.rst b/docs/index.rst
diff --git a/docs/proposals.rst b/docs/proposals.rst