From 334a5a89b7421e38d8d694084e01b10e012030c3 Mon Sep 17 00:00:00 2001 From: sdarwin Date: Wed, 6 Dec 2023 15:42:50 -0700 Subject: [PATCH] Build_docs: use sudo when installing pygments --- build_docs/linuxdocs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_docs/linuxdocs.sh b/build_docs/linuxdocs.sh index e56aad6..3d55483 100755 --- a/build_docs/linuxdocs.sh +++ b/build_docs/linuxdocs.sh @@ -181,7 +181,7 @@ if [ "$skippackagesoption" != "yes" ]; then pip3 install --user https://github.com/bfgroup/jam_pygments/archive/master.zip pip3 install --user Jinja2==3.1.2 pip3 install --user MarkupSafe==2.1.1 - gem install pygments.rb --version 2.3.0 + sudo gem install pygments.rb --version 2.3.0 pip3 install --user Pygments==2.13.0 sudo gem install rouge --version 4.0.0 pip3 install --user Sphinx==5.2.1