docs: fix ci

MilesCranmer · MilesCranmer · commit 7589bd353cb7 · 2024-07-02T21:00:16.000+01:00
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
@@ -27,8 +27,5 @@ jobs:
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
         run: |
             cd docs
-            cat ../README.md | sed '/Search options/,$d' > tmp1.md
-            cat tmp1.md src/index.md > tmp2.md
-            mv tmp2.md src/index.md
             julia --project=. make.jl
 
