mirror of
https://github.com/boostorg/website.git
synced 2026-02-02 21:32:11 +00:00
29e597e5b1
Having the site in two different languages is a bit of a pain, so convert everything to PHP.
19 lines
587 B
PHP
Executable File
19 lines
587 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 refresh-pages.php
|
|
|
|
Reconvert all the quickbook files and regenerate the html pages. Does
|
|
not update the rss feeds or add new pages. Useful for when quickbook,
|
|
the scripts or the templates have been updated.
|
|
EOL;
|
|
|
|
require_once(__DIR__.'/../common/code/boost.php');
|
|
|
|
(new BoostSiteTools(__DIR__.'/..'))->update_quickbook(true);
|