1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# This file requires a copy of the main Dockerfile in the beginning.
#
# Run `cat Dockerfile ci/Dockerfile.docs.template > ci/Dockerfile.docs` in the
# top directory to generate a working Dockerfile.
#
# Notice that the "build" image that is not defined in here is used as a base
# image. Since Docker does not support multi-stage builds with dependencies
# across different Dockerfiles for now, we need to prepend a copy of the
# original Dockerfile in the beginning of this file.
FROM --platform=${TARGETPLATFORM} build
RUN dpkg --add-architecture ${TARGETARCH:-arm64} && apt update \
&& apt install -qqy --no-install-suggests --no-install-recommends \
git \
&& apt clean \
&& rm -rf /var/lib/apt/lists/*
WORKDIR /usr/src/pgcopydb
COPY ci/check-docs.mk .
COPY docs docs
ENTRYPOINT ["make", "-f", "check-docs.mk"]
|
