path: root/goto.php

<?php
$url = "http://".$_SERVER['SERVER_NAME']."/".$_POST["manual"]."/".$_POST["release"]."/".$_POST["flang"]."/content/index.html";
echo '<meta http-equiv="Refresh" content="0;url='.$url.'" />'
?>