2
0
mirror of https://github.com/boostorg/website.git synced 2026-02-20 15:22:08 +00:00
Files
website/site-tools/update-pages.php
Daniel James 3fd7bec5ff PHP 5.3 fix
2016-05-27 09:23:35 +01:00

18 lines
491 B
PHP
Executable File

#!/usr/bin/env php
<?php
# Copyright 2007 Rene Rivera
# Copyright 2011, 2015 Daniel James
# Distributed under the Boost Software License, Version 1.0.
# (See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
$usage = <<<EOL
Usage: php update-pages.php
Update the html pages and rss feeds for new or updated quickbook files.
EOL;
require_once(__DIR__.'/../common/code/boost.php');
$site_tools = new BoostSiteTools(__DIR__.'/..');
$site_tools->update_quickbook();