CI: deploy all the docs

Signed-off-by: Kakadu <Kakadu@pm.me>

Author: Kakadu

.github/workflows/master.yml

@@ -51,7 +51,7 @@ jobs:
           opam exec -- dune b @install --profile=release
           opam exec -- dune install
           opam exec -- odig odoc --odoc-theme=odig.gruvbox.light --no-tag-index --no-pkg-deps ${{ env.latest }}
-          echo "DOCS_PATH=$(opam exec -- odig cache path)/html/ostap" >> $GITHUB_ENV
+          echo "DOCS_PATH=$(opam exec -- odig cache path)/html" >> $GITHUB_ENV
 
       - run: ls $(opam exec -- odig cache path)/html
 
@@ -64,7 +64,6 @@ jobs:
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          #publish_dir: ./_build/default/_doc/_html
           publish_dir: ${{ env.DOCS_PATH }}
           destination_dir: api