<html> <body> <script type="text/javascript"> // Javascript URL redirection window.location.replace("http://docs.swarmlab.io/SwarmLab-HowTos/swarmlab/index-doc.html"); </script> </body> </html>