From 93b639127f8ad2d267be9a1d2f8a52b1c5e2923b Mon Sep 17 00:00:00 2001 From: Henri Menke Date: Sat, 23 Dec 2023 17:04:10 +0100 Subject: [PATCH] fixup! add a small comment for linkify-it-py --- Docker/github_ci_dockerfile | 2 +- Docker/openmpi_dockerfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Docker/github_ci_dockerfile b/Docker/github_ci_dockerfile index d86c9443..fd5bd6f1 100644 --- a/Docker/github_ci_dockerfile +++ b/Docker/github_ci_dockerfile @@ -55,7 +55,7 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \ rm -rf /var/cache/apt/* /var/lib/apt/lists/* # linkify-it-py (required by sphinx doc build) is not available in Ubuntu 22.04 as package -# the following manually installs it and its only dependency micro-py +# the following manually installs it and its only dependency uc-micro-py RUN mkdir -p /src && cd /src \ && curl -LOOO http://archive.ubuntu.com/ubuntu/pool/universe/u/uc-micro-py/uc-micro-py_1.0.1{-3.dsc,.orig.tar.xz,-3.debian.tar.xz} \ && dpkg-source -x uc-micro-py_1.0.1-3.dsc \ diff --git a/Docker/openmpi_dockerfile b/Docker/openmpi_dockerfile index 9b7c99a5..a4656079 100644 --- a/Docker/openmpi_dockerfile +++ b/Docker/openmpi_dockerfile @@ -68,7 +68,7 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-ins rm -rf /var/cache/apt/* /var/lib/apt/lists/* # linkify-it-py (required by sphinx doc build) is not available in Ubuntu 22.04 as package -# the following manually installs it and its only dependency micro-py +# the following manually installs it and its only dependency uc-micro-py RUN mkdir -p /src && cd /src \ && curl -LOOO http://archive.ubuntu.com/ubuntu/pool/universe/u/uc-micro-py/uc-micro-py_1.0.1{-3.dsc,.orig.tar.xz,-3.debian.tar.xz} \ && dpkg-source -x uc-micro-py_1.0.1-3.dsc \