Link elm and rust extraction documentation (#244)

AU-COBRA · Jun 26, 2024 · c47801f · c47801f
2 parents 1d248d5 + 6b196bb
commit c47801f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -134,6 +134,8 @@ html: all
 		--external https://plv.mpi-sws.org/coqdoc/stdpp stdpp \
 		--external https://metacoq.github.io/html MetaCoq \
 		--external https://coq-community.org/coq-ext-lib/v0.11.7 ExtLib \
+		--external https://au-cobra.github.io/coq-elm-extraction/ ElmExtraction \
+		--external https://au-cobra.github.io/coq-rust-extraction/ RustExtraction \
 		-R utils/theories ConCert.Utils \
 		-R execution/theories ConCert.Execution \
 		-R execution/test ConCert.Execution.Test \