From 46a042891d12bd2aa952b3b82f7b90326f6fb9bb Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Mon, 22 Jul 2024 13:45:45 +0200
Subject: [PATCH] add write permissions

---
 .github/workflows/build_doc.yml | 5 ++++-
 Makefile                        | 2 +-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 97a26cb5a..8f1283a2a 100644
--- a/.github/workflows/build_doc.yml
+++ b/.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 }}
diff --git a/Makefile b/Makefile
index efbd94fdf..68b359b87 100644
--- a/Makefile
+++ b/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