diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index de26f97..b45f1b0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -91,26 +91,26 @@ jobs:
       - uses: codecov/codecov-action@v4
         with:
           file: lcov.info
-  docs:
-    name: Documentation
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@v1
-        with:
-          version: "1"
-      - run: |
-          julia --project=docs -e '
-            using Pkg
-            Pkg.develop(PackageSpec(path=pwd()))
-            Pkg.instantiate()'
-      - run: |
-          julia --project=docs -e '
-            using Documenter: DocMeta, doctest
-            using ConstraintDomains
-            DocMeta.setdocmeta!(ConstraintDomains, :DocTestSetup, :(using ConstraintDomains); recursive=true)
-            doctest(ConstraintDomains)'
-      - run: julia --project=docs docs/make.jl
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+  # docs:
+  #   name: Documentation
+  #   runs-on: ubuntu-latest
+  #   steps:
+  #     - uses: actions/checkout@v4
+  #     - uses: julia-actions/setup-julia@v1
+  #       with:
+  #         version: "1"
+  #     - run: |
+  #         julia --project=docs -e '
+  #           using Pkg
+  #           Pkg.develop(PackageSpec(path=pwd()))
+  #           Pkg.instantiate()'
+  #     - run: |
+  #         julia --project=docs -e '
+  #           using Documenter: DocMeta, doctest
+  #           using ConstraintDomains
+  #           DocMeta.setdocmeta!(ConstraintDomains, :DocTestSetup, :(using ConstraintDomains); recursive=true)
+  #           doctest(ConstraintDomains)'
+  #     - run: julia --project=docs docs/make.jl
+  #       env:
+  #         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+  #         DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
diff --git a/docs/Project.toml b/docs/Project.toml
deleted file mode 100644
index 2491637..0000000
--- a/docs/Project.toml
+++ /dev/null
@@ -1,3 +0,0 @@
-[deps]
-ConstraintDomains = "5800fd60-8556-4464-8d61-84ebf7a0bedb"
-Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
diff --git a/docs/make.jl b/docs/make.jl
deleted file mode 100644
index 665c7d0..0000000
--- a/docs/make.jl
+++ /dev/null
@@ -1,20 +0,0 @@
-using ConstraintDomains
-using Documenter
-
-makedocs(;
-    modules = [ConstraintDomains],
-    authors = "Jean-François Baffier",
-    repo = "https://github.com/JuliaConstraints/ConstraintDomains.jl/blob/{commit}{path}#L{line}",
-    sitename = "ConstraintDomains.jl",
-    format = Documenter.HTML(;
-        prettyurls = get(ENV, "CI", nothing) == "true",
-        canonical = "https://JuliaConstraints.github.io/ConstraintDomains.jl",
-        assets = ["assets/favicon.ico"; "assets/github_buttons.js"; "assets/custom.css"],
-    ),
-    pages = ["Home" => "index.md"],
-)
-
-deploydocs(;
-    repo = "github.com/JuliaConstraints/ConstraintDomains.jl.git",
-    devbranch = "main",
-)
diff --git a/docs/src/index.md b/docs/src/index.md
deleted file mode 100644
index 873d61a..0000000
--- a/docs/src/index.md
+++ /dev/null
@@ -1,12 +0,0 @@
-```@meta
-CurrentModule = ConstraintDomains
-```
-
-# ConstraintDomains
-
-```@index
-```
-
-```@autodocs
-Modules = [ConstraintDomains]
-```