View Source erts\n\n<script>window.location.replace("../erts-15.2.1/doc/html/index.html")</script>