From c28af37e552dff77141598e809fd949df32aa2ce Mon Sep 17 00:00:00 2001
From: edoapra <edoardo.apra@gmail.com>
Date: Thu, 22 Dec 2022 13:25:16 -0800
Subject: [PATCH] install pandoc [ci skip]

---
 contrib/mkdocs/install_mkdocs.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/contrib/mkdocs/install_mkdocs.sh b/contrib/mkdocs/install_mkdocs.sh
index 16ae8a45ef..3b5cb433be 100755
--- a/contrib/mkdocs/install_mkdocs.sh
+++ b/contrib/mkdocs/install_mkdocs.sh
@@ -1,8 +1,8 @@
 #!/bin/bash
-if [[ $(command -v pandoc 2 > /dev/null) ]]; then
-    echo need to install pandoc
+#if [[ $(command -v pandoc 2 > /dev/null) ]]; then
+#    echo need to install pandoc
     sudo apt-get install -y pandoc
-fi
+#fi
 pandoc --version
 if [[ "$?" != 0 ]]; then
     echo broken pandoc installation