diff --git a/docs/index.html b/docs/index.html
index 821b40a8..e3a72b1b 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -2,9 +2,9 @@
Crytpol Documentation
+ content="0; url=https://galoisinc.github.io/cryptol/RefMan/_build/html/RefMan.html">
-Crytpol Reference Manual
+Crytpol Reference Manual