2
0
mirror of https://github.com/boostorg/website.git synced 2026-01-30 08:22:18 +00:00
Files
website/doc/display_extra_docs.php
2015-04-12 15:18:06 +01:00

22 lines
416 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/boost.php');
$archive = new BoostArchive(array(
'zipfile' => false,
));
$archive->display_from_archive(
array(
array('@[.](html|htm)$@i','basic','text/html')
)
);