diff options
| author | Jay Berkenbilt <ejb@ql.org> | 2021-12-19 19:12:11 +0100 |
|---|---|---|
| committer | Jay Berkenbilt <ejb@ql.org> | 2021-12-19 19:57:47 +0100 |
| commit | 92613a1eec543a00dd25dc6cdd407929323a811c (patch) | |
| tree | 3aa7e7e501214fb31e1891ae9f3fffef98b73b09 /build-scripts/prebuild | |
| parent | d3501c4f3e34d2043d5f9f8d314c5fe6ab5cdbd4 (diff) | |
| download | qpdf-92613a1eec543a00dd25dc6cdd407929323a811c.tar.zst | |
doc: switch html theme to sphinx_rtd_theme
Diffstat (limited to 'build-scripts/prebuild')
| -rwxr-xr-x | build-scripts/prebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-scripts/prebuild b/build-scripts/prebuild index f8d1f61b..76f9bf6d 100755 --- a/build-scripts/prebuild +++ b/build-scripts/prebuild @@ -5,7 +5,7 @@ sudo apt-get update sudo apt-get -y install \ autoconf build-essential zlib1g-dev libjpeg-dev \ python3-pip texlive-latex-extra latexmk inkscape imagemagick -pip3 install sphinx +pip3 install sphinx sphinx_rtd_theme ./configure --enable-doc-maintenance make -j$(nproc) build_manual zip -r doc.zip doc/*html doc/*.pdf |