Fix: fix some broken links in the dependency graph

.github/workflows/deploy_static_site.yml

@@ -53,7 +53,7 @@ jobs:
       - name: Build coq2html
         run: opam exec -- make
 
-      - run: opam exec -- tools/generate-mathcomp-analysis.sh
+      - run: opam exec -- tools/generate-mathcomp-analysis.sh ${GITHUB_SHA::8}
 
       - name: Setup Pages
         uses: actions/configure-pages@v4

tools/generate-mathcomp-analysis.sh

@@ -1,6 +1,7 @@
 #!/bin/sh
 set -eux
 MATHCOMP_ANALYSIS=./analysis
+COMMIT_HASH=$1
 DIR=$(pwd `dirname .`)
 OUTDIR=$DIR/html
 
@@ -11,17 +12,22 @@ cd $MATHCOMP_ANALYSIS
 
 ls -l
 
-FILES=$(find classical/ theories/ -name "*.v" -or -name "*.glob")
+FILES=$(find classical/ theories/ reals/ reals_stdlib experimental_reals analysis_stdlib -name "*.v" -or -name "*.glob")
 
 coqdep -f _CoqProject > depend.d
 cat -n depend.d >&2
 $DIR/ocamldot/ocamldot depend.d > depend.dot
-sed -i 's/Classical\//mathcomp\.classical\./' depend.dot
-sed -i 's/Theories\//mathcomp\.analysis\./' depend.dot
+sed -i 's/Classical/mathcomp\.classical/' depend.dot
+sed -i 's/Theories/mathcomp\.analysis/' depend.dot
+sed -i 's/Reals_stdlib/mathcomp\.reals_stdlib/' depend.dot
+sed -i 's/Experimental_reals/mathcomp\.experimental_reals/' depend.dot
+sed -i 's/Reals/mathcomp\.reals/' depend.dot
+sed -i 's/Analysis_stdlib/mathcomp\.analysis_stdlib/' depend.dot
+sed -i 's/\//\./g' depend.dot
 
 $DIR/tools/generate-hierarchy-graph.sh
 
-$DIR/coq2html -title "MathComp-Analysis" -d $OUTDIR -base mathcomp \
+$DIR/coq2html -title "MathComp-Analysis($COMMIT_HASH)" -d $OUTDIR -base mathcomp \
   -Q theories analysis -coqlib https://coq.inria.fr/doc/V8.18.0/stdlib/ \
   -external https://math-comp.github.io/htmldoc_2_1_0/ mathcomp.ssreflect \
   -external https://math-comp.github.io/htmldoc_2_1_0/ mathcomp.algebra \