From 0bdcd3780d1f3a946564d2f5388ffcfe1c2ebb4a Mon Sep 17 00:00:00 2001 From: antoinemeyer5 Date: Thu, 15 Jun 2023 15:27:30 +0200 Subject: [PATCH] Add sphinx-build options to trigger the CI --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index b5218c28e..004bdd74a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,5 +1,5 @@ html: - sphinx-build -b html ./source/ ./generated_docs/ + sphinx-build -b html ./source/ ./generated_docs/ -W --keep-going python3 ./source/edit_button_handler.py clean: