Header: Point to readthedocs.io for manual

diff --git a/_includes/header.html b/_includes/header.html
index 9091c0990856ba14c6d13da2dd610db28ecc1251..99d1993db43775e1c4a6cc0681b5e439a900a4c2 100644 (file)
--- a/_includes/header.html
+++ b/_includes/header.html
@@ -19,7 +19,7 @@
           <a class="page-link" href="{{ page.url | prepend: site.baseurl }}">{{ page.nav_title }}</a>
           {% endif %}
         {% endfor %}
-          <a class="page-link" href="http://www.stack.nl/~jilles/irc/charybdis-oper-guide/index.html">Manual</a>
+          <a class="page-link" href="https://charybdis.readthedocs.io/en/release-3.5/">Manual</a>
       </div>
     </nav>