From 5bdf2eacb4304196d333da2f0bb44f6cba1e427e Mon Sep 17 00:00:00 2001
From: Eric Wieser <wieser.eric@gmail.com>
Date: Sat, 11 Dec 2021 19:04:09 +0000
Subject: [PATCH] Add a link to the import graph viewer

---
 templates/imports.j2 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/templates/imports.j2 b/templates/imports.j2
index 2d1da69..bcefda1 100644
--- a/templates/imports.j2
+++ b/templates/imports.j2
@@ -17,4 +17,6 @@
         {% endfor -%}
         </ul>
     </details>
+    <a href="https://eric-wieser.github.io/mathlib-import-graph/?highlight={{filename}}&docs_url={{site_root}}">
+        Interactive graph</a>
 </div>
\ No newline at end of file