diff options
Diffstat (limited to 'build-scripts/build-doc')
| -rwxr-xr-x | build-scripts/build-doc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/build-scripts/build-doc b/build-scripts/build-doc new file mode 100755 index 00000000..077f8366 --- /dev/null +++ b/build-scripts/build-doc @@ -0,0 +1,17 @@ +#!/bin/bash +# The manual references this file. +cd $(dirname $0)/.. +set -ex +sudo apt-get update +sudo apt-get -y install \ + autoconf build-essential zlib1g-dev libjpeg-dev \ + python3-pip texlive-latex-extra latexmk +pip3 install sphinx sphinx_rtd_theme +./configure --enable-doc-maintenance +make -j$(nproc) doc-dist DOC_DEST=doc +zip -r doc.zip doc +version=$(egrep '^release' manual/conf.py | cut -d"'" -f 2) +mv doc qpdf-${version}-doc +mkdir distribution +zip -r distribution/qpdf-${version}-doc.zip qpdf-${version}-doc +sha256sum distribution/* |