jacoco · marchof · Jun 11, 2025
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,15 +12,7 @@ jobs:
         with:
           fetch-depth: 0
       - name: 'Build'
-        run: |
-          docker run \
-            --user $(id -u):$(id -g) \
-            -v "/var/run/docker.sock":"/var/run/docker.sock" \
-            -v ${{ github.workspace }}:/work \
-            -w /work \
-            --entrypoint bash \
-            python:2.7.18 \
-            -c /work/render.sh
+        run: ./render.sh
       - name: 'Deploy'
         if: ${{ (github.repository == 'jacoco/www.eclemma.org' && github.ref == 'refs/heads/master') }}
         env:

diff --git a/generator/eclemmasite.py b/generator/eclemmasite.py
@@ -1,7 +1,4 @@
-"""EclEmma's site structure at SourceForge
-
-$LastChangedDate$
-$Revision$
+"""EclEmma's web site structure
 """
 
 import sys

diff --git a/generator/genshi/__init__.py b/generator/genshi/__init__.py
diff --git a/generator/genshi/builder.py b/generator/genshi/builder.py