Fix document publishing GitHub Action

It seems that Chromium is no longer found automatically. See also
puppeteer/puppeteer#9533.

Author: tautschnig

.github/workflows/publish.yaml

@@ -20,7 +20,17 @@ jobs:
         run: sudo python3 -m pip install gitpython pandocfilters
 
       - name: Install mermaid diagram filter
-        run: sudo npm install --global mermaid-filter
+        run: |
+          git clone https://github.com/raghur/mermaid-filter/
+          cd mermaid-filter
+          sed -i '1s/{/{ "overrides": { "puppeteer": "^21" },/' package.json
+          npm install --loglevel verbose
+          ls -lart
+          ls -la /usr/local/bin
+          head /usr/local/bin/mermaid-filter || true
+          sudo npm link --loglevel verbose
+          head /usr/local/bin/mermaid-filter || true
+          cd ..
 
       - name: Build documentation
         run: cd doc/doxygen-root && make && touch html/.nojekyll