commit dc1e56ca7c2787d0d0000658bf852303668508d0
parent 3e505e41b36cdb6991c1077b347420950b5326de
Author: Christian Grothoff <christian@grothoff.org>
Date: Tue, 14 Jan 2025 23:14:14 +0100
moved into site builder
Diffstat:
3 files changed, 0 insertions(+), 58 deletions(-)
diff --git a/contrib/ci/Containerfile b/contrib/ci/Containerfile
@@ -1,24 +0,0 @@
-FROM docker.io/library/debian:bookworm-slim
-
-ENV DEBIAN_FRONTEND=noninteractive
-
-# Install docs generation utils
-RUN apt-get update -yqq && \
- apt-get install -yqq --no-install-recommends \
- make \
- graphviz \
- python3-sphinx \
- python3-recommonmark \
- python3-texext \
- python3-sphinx-book-theme \
- texlive-latex-extra \
- texlive-fonts-recommended \
- tex-gyre \
- dvipng \
- dvisvgm \
- latexmk \
- && rm -rf /var/lib/apt/lists/*
-
-WORKDIR /workdir
-
-CMD ["bash", "/workdir/ci/jobs/0-build/job.sh"]
diff --git a/contrib/ci/jobs/0-build/build-docs.sh b/contrib/ci/jobs/0-build/build-docs.sh
@@ -1,28 +0,0 @@
-#!/bin/bash
-
-set -exou
-
-make html
-make latexpdf
-
-# Publish to docs.taler.net if on master branch
-if [[ ${CI_GIT_BRANCH} = "master" ]]; then
- ARTIFACTS_DIR=/persistent_artifacts
- rm -rf /persistent_artifacts/docs_build
-
- mkdir -p "${ARTIFACTS_DIR}/docs_build/docs/html/"
- mkdir -p "${ARTIFACTS_DIR}/docs_build/docs/pdf/"
-
- cp -r _build/html/* "${ARTIFACTS_DIR}/docs_build/docs/html/"
- cp -r _build/latex/*.pdf "${ARTIFACTS_DIR}/docs_build/docs/pdf/"
-
- # [oec 20241103] BUG,TODO
- #
- # For some reason unknown, the links to the generated images from the
- # embedded LaTeX :math:`...` statements are wrong on docs.taler.net:
- # The href's SHOULD be pointing to `../images/_math`, but instead they
- # point to `images/_math` (i.e. relative to a dir like `design-documents/`).
- #
- # Here is a workaround for this issue, at least for `design-documents/`:
- ln -s ../_images "${ARTIFACTS_DIR}/docs_build/docs/html/design-documents/_images"
-fi
diff --git a/contrib/ci/jobs/0-build/job.sh b/contrib/ci/jobs/0-build/job.sh
@@ -1,6 +0,0 @@
-#!/bin/bash
-set -exuo pipefail
-
-job_dir=$(dirname "${BASH_SOURCE[0]}")
-
-"${job_dir}"/build-docs.sh