From 6d7b1357927cf2e9db7a692a59a7086ad170f689 Mon Sep 17 00:00:00 2001
From: Meriam Lachkar <meriam.lachkar@gmail.com>
Date: Thu, 25 Nov 2021 14:49:01 +0100
Subject: [PATCH] fix publish-gh-pages

---
 website/package.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/website/package.json b/website/package.json
index dca3d4225..11c1da70d 100644
--- a/website/package.json
+++ b/website/package.json
@@ -11,7 +11,8 @@
     "clear": "docusaurus clear",
     "serve": "docusaurus serve",
     "write-translations": "docusaurus write-translations",
-    "write-heading-ids": "docusaurus write-heading-ids"
+    "write-heading-ids": "docusaurus write-heading-ids",
+    "publish-gh-pages": "docusaurus deploy"
   },
   "dependencies": {
     "@docusaurus/core": "2.0.0-beta.7",