add write permissions

.github/workflows/build_doc.yml

@@ -2,6 +2,9 @@ name: Build documentation
 
 on: [push, pull_request]
 
+permissions:
+  contents: write
+
 env:
   OCAML_DEFAULT_VERSION: 4.14.2
   # Add OPAMYES=true to the environment, this is usefill to replace `-y` option
@@ -38,7 +41,7 @@ jobs:
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
-          publish_dir: _build/sphinx_docs
+          publish_dir: _build/doc
           destination_dir: dev
           enable_jekyll: true
           github_token: ${{ secrets.GITHUB_TOKEN }}

Makefile

@@ -26,7 +26,7 @@ SPHINX_DOC_DIR   := docs/sphinx_docs
 BUILD_DIR := _build
 INSTALL_DIR := $(BUILD_DIR)/install
 DEFAULT_DIR := $(BUILD_DIR)/default
-SPHINX_BUILD_DIR := $(BUILD_DIR)/sphinx_docs
+SPHINX_BUILD_DIR := $(BUILD_DIR)/doc
 
 # Some variables to help with adding
 # flags and/or renaming the dune binary