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

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

diff --git a/contrib/mkdocs/install_mkdocs.sh b/contrib/mkdocs/install_mkdocs.sh
index fe5dec4103..15dfa1dd99 100755
--- a/contrib/mkdocs/install_mkdocs.sh
+++ b/contrib/mkdocs/install_mkdocs.sh
@@ -1,14 +1,14 @@
 #!/bin/bash
 #if [[ $(command -v pandoc 2 > /dev/null) ]]; then
 #    echo need to install pandoc
-    sudo apt-get install -y pandoc
-    sudo apt-get install -y pandoc-citeproc
+#    sudo apt-get install -y pandoc
+#    sudo apt-get install -y pandoc-citeproc
+#fi
+#pandoc --version
+#if [[ "$?" != 0 ]]; then
+#    echo broken pandoc installation
+#    exit 1
 #fi
-pandoc --version
-if [[ "$?" != 0 ]]; then
-    echo broken pandoc installation
-    exit 1
-fi
 if [[ -z "$VIRTUAL_ENV" ]]; then
     USEROPT=--user
 else