From 92613a1eec543a00dd25dc6cdd407929323a811c Mon Sep 17 00:00:00 2001 From: Jay Berkenbilt Date: Sun, 19 Dec 2021 13:12:11 -0500 Subject: doc: switch html theme to sphinx_rtd_theme --- build-scripts/build-linux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build-scripts/build-linux') diff --git a/build-scripts/build-linux b/build-scripts/build-linux index 1e20a224..bb5baf36 100755 --- a/build-scripts/build-linux +++ b/build-scripts/build-linux @@ -5,7 +5,7 @@ sudo apt-get -y install \ autoconf build-essential zlib1g-dev libjpeg-dev libgnutls28-dev \ libssl-dev python3-pip texlive-latex-extra latexmk \ inkscape imagemagick libtiff-tools ghostscript -pip3 install sphinx +pip3 install sphinx sphinx_rtd_theme ./configure --enable-werror --enable-doc-maintenance \ --enable-crypto-native --enable-crypto-openssl --enable-crypto-gnutls \ --enable-show-failed-test-output --enable-test-compare-images -- cgit v1.2.3-54-g00ecf