diff --git a/doc/make/index.md b/doc/make/index.md
index 54e6dd1606..05e7ee8fbd 100644
--- a/doc/make/index.md
+++ b/doc/make/index.md
@@ -111,6 +111,5 @@ Troubleshooting
 Further Information
 -------------------
 
-- [Using CCache](ccache.md) to avoid recompilation
 - [Measuring Code Coverage](coverage.md)
 - [Compiling Lean with Split Stacks](split-stack.md)