fixed web link

emilyriehl · Aug 2, 2024 · 203f065 · 203f065
1 parent 7528b66
commit 203f065
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/home_page/index.md b/home_page/index.md
@@ -10,6 +10,6 @@ Useful links:
 
 * [Zulip chat for Lean](https://leanprover.zulipchat.com/) for coordination
 * [Blueprint](blueprint/)
-* [Blueprint as pdf](../blueprint.pdf)
+* [Blueprint as pdf](infinity-cosmos/blueprint.pdf)
 * [Dependency graph](blueprint/dep_graph_document.html)
 * [Doc pages for this repository](docs/)