mirror of
https://github.com/boostorg/website.git
synced 2026-01-29 20:12:14 +00:00
20 lines
398 B
PHP
20 lines
398 B
PHP
<?php
|
|
|
|
if (strpos($_SERVER['REQUEST_URI'], '//') !== FALSE)
|
|
{
|
|
header("Location: http://$_SERVER[HTTP_HOST]".
|
|
preg_replace('@//+@','/', $_SERVER['REQUEST_URI']),
|
|
TRUE, 301);
|
|
exit(0);
|
|
}
|
|
|
|
require_once(dirname(__FILE__) . '/../common/code/bootstrap.php');
|
|
|
|
$archive = new BoostDocumentation();
|
|
|
|
$archive->display_from_archive(
|
|
array(
|
|
array('', '@[.](html|htm)$@i','basic','text/html')
|
|
)
|
|
);
|