diff options
| -rw-r--r-- | README-doc.txt | 4 | ||||
| -rwxr-xr-x | build-scripts/build-doc | 12 |
2 files changed, 8 insertions, 8 deletions
diff --git a/README-doc.txt b/README-doc.txt index 8f7ea35f..ef50713e 100644 --- a/README-doc.txt +++ b/README-doc.txt @@ -11,8 +11,8 @@ https://github.com/qpdf/qpdf/releases Offline documentation contains the following: * PDF: qpdf-manual.pdf -* HTML: html/index.html -* SINGLE-PAGE HTML: singlehtml/index.html +* HTML: manual-html/index.html +* SINGLE-PAGE HTML: manual-single-page-html/index.html If you are reading this file from the source distribution, you can find the documentation sources in the "manual" directory. There is diff --git a/build-scripts/build-doc b/build-scripts/build-doc index 077f8366..f02b37ee 100755 --- a/build-scripts/build-doc +++ b/build-scripts/build-doc @@ -4,14 +4,14 @@ cd $(dirname $0)/.. set -ex sudo apt-get update sudo apt-get -y install \ - autoconf build-essential zlib1g-dev libjpeg-dev \ + autoconf build-essential cmake 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 +cmake -S . -B build -DBUILD_DOC=1 +cmake --build build --target doc_dist +zip -r doc.zip build/manual/doc-dist version=$(egrep '^release' manual/conf.py | cut -d"'" -f 2) -mv doc qpdf-${version}-doc +mv build/manual/doc-dist qpdf-${version}-doc mkdir distribution -zip -r distribution/qpdf-${version}-doc.zip qpdf-${version}-doc +zip -r distribution/qpdf-${version}-doc-ci.zip qpdf-${version}-doc sha256sum distribution/* |