From 81385803d4f67f2d8b963be3aee17eba60b03a6e Mon Sep 17 00:00:00 2001
From: Ilan <32579486+ErrWare@users.noreply.github.com>
Date: Thu, 12 Jun 2025 13:44:20 -0500
Subject: [PATCH] Fix dependency-graph link in README.

Chose to link to the raw svg because it includes the renaming update and
I could not find a link to the raw png.

I tried to regenerate the depgraph but coqdep didn't like the -dumpgraph
flag, and it does not have -v nor --version, nor is it listed in my opam
switch. Not sure what to do about it.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 79dc86b16..d56836b54 100644
--- a/README.md
+++ b/README.md
@@ -59,7 +59,7 @@ See [DOC.md](https://github.com/MetaRocq/metarocq/blob/-/DOC.md)
 At the center of this project is the Template-Rocq quoting library for
 Rocq. The project currently has a single repository extending
 Template-Rocq with additional features. Each extension is in a dedicated folder.
-The [dependency graph](https://raw.githubusercontent.com/MetaRocq/metarocq.github.io/main/assets/depgraph-2022-07-01.png)
+The [dependency graph](https://raw.githubusercontent.com/MetaRocq/metarocq/refs/heads/9.0/dependency-graph/depgraph-2022-07-01.svg)
 might be useful to navigate the project.
 Statistics: ~300kLoC of Rocq, ~30kLoC of OCaml.