This makes dependencies like jinja2 available for the Pylint CI task.
ARG DEBIAN_FRONTEND=noninteractive
COPY requirements.txt ./requirements.txt
+COPY doc/infosrc/requirements.txt ./doc-infosrc-requirements.txt
RUN apt-get update -y \
&& apt-get install --no-install-recommends -y \
# install Python dependencies
&& python3 -m pip install --user --upgrade pip \
&& python3 -m pip install --user --requirement requirements.txt \
+&& python3 -m pip install --user --requirement doc-infosrc-requirements.txt \
# Clean up
&& rm -rf /var/lib/apt/lists/*