From a86d0a0403bfc98f1c3d130e3641fc85548a82c1 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Wed, 26 Jun 2024 00:32:57 +0200
Subject: [PATCH] Link elm and rust extraction documentation

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index f28f9499..7fe981cc 100644
--- 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 \