<?php

include_once __DIR__ . '/../include/prepend.inc';
mirror_redirect("/manual/$LANG/index.php");