fix(doc/contribute): fix broken link (#1547)

leanprover-community · Oct 13, 2019 · 0ee1272 · 0ee1272
1 parent d716648
commit 0ee1272
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/contribute/doc.md b/docs/contribute/doc.md
@@ -122,7 +122,7 @@ In addition to documentation living in Lean file, we have tactic documentation i
 [docs/tactics](../tactics.md), and theory documentation in [docs/theories](../theories) where we
 give overviews spanning several Lean files, and more mathematical explanations in cases where
 formalization requires slightly exotic points of view, see for instance the
-[topology documentation](../theories/topological_spaces.md).
+[topology documentation](../theories/topology.md).
 
 ## Examples