Update documentation of Coq sources for 3.16

Author: xavierleroy

Makefile

@@ -118,6 +118,7 @@ COQDEP="$(COQBIN)coqdep" $(COQINCLUDES)
 COQDOC="$(COQBIN)coqdoc"
 COQEXEC="$(COQBIN)coqtop" $(COQINCLUDES) $(COQEXTRACTOPTS) -batch -load-vernac-source
 COQCHK="$(COQBIN)coqchk" $(COQINCLUDES)
+COQ2HTML=coq2html
 MENHIR=menhir
 CP=cp
 
@@ -281,7 +282,7 @@ FORCE:
 documentation: $(FILES)
 	mkdir -p doc/html
 	rm -f doc/html/*.html
-	coq2html -d doc/html/ -base compcert -short-names \
+	$(COQ2HTML) -d doc/html/ -base compcert -short-names \
 	  $(patsubst %, %/*.glob, $(DIRS)) \
           $(filter-out cparser/Parser.v, $^)
 

doc/index.html

@@ -25,7 +25,7 @@
 
 <H1 align="center">The CompCert verified compiler</H1>
 <H2 align="center">Commented Coq development</H2>
-<H3 align="center">Version 3.15, 2024-12-13</H3>
+<H3 align="center">Version 3.16, 2025-09-01</H3>
 
 <H2>Introduction</H2>