readthedocs: add sphinx-finished.sh

A script to fix index.html is added.

Signed-off-by: Juergen Repp <juergen_repp@web.de>

sphinx/sphinx-finished.sh

@@ -0,0 +1,23 @@
+#!/usr/bin/env bash
+# SPDX-License-Identifier: BSD-2
+
+#
+# This script is configured to run as part of the sphinx build
+# through API events registered in conf.py.
+# This script runs on event build-finished.
+#
+# This would be better served by handling the events
+# html-collect-page --> for add .nojekyll
+# html-page-context --> for fixing the span's done with sed.
+#
+# For the case of time, we just left this script as is and run it as a
+# post sphinx build command event :-p
+#
+
+set -eo pipefail
+
+find "${SPHINX_OUTDIR}" -name \*.html -exec \
+  sed -i 's/\&\#/\&\#/g' {} \;
+touch "${SPHINX_OUTDIR}"/.nojekyll
+
+exit 0