<html>
<head>
<title>Crytpol Documentation</title>
<meta http-equiv="refresh"
      content="0; url=https://galoisinc.github.io/cryptol/RefMan/_build/html/index.html">
</head>
<body>
<a href="RefMan/_build/html/index.html">Crytpol Reference Manual</a>
</body>
</html>

Add a redirect to reference manual
Add a redirect to reference manual
