fixup! add a small comment for linkify-it-py

TRIQS · Dec 23, 2023 · 93b6391 · 93b6391
1 parent f787935
commit 93b6391
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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 \