Rename conda-forge packages before installing

Rename the packages collected in `requirements-full.txt` in GitHub
Actions to their respective conda-forge package names.

.github/workflows/docs.yml

@@ -80,6 +80,14 @@ jobs:
           echo "Collected dependencies:"
           cat requirements-full.txt
 
+      - name: Rename conda-forge packages
+        run: |
+          echo "Rename conda-forge packages in requirements-full.txt"
+          # Replace "build" for "python-build"
+          sed -s --in-place 's/^build$/python-build/' requirements-full.txt
+          echo "Renamed dependencies:"
+          cat requirements-full.txt
+
       - name: Get the pip cache folder
         id: pip-cache
         run: |