mirror of
https://github.com/boostorg/website.git
synced 2026-02-21 03:32:08 +00:00
a76d65e103
I just implemented the mechanism, but on second thoughts, it's probably a bad idea to do it that way. Will leave alone BoostLibraries for now, but will probably remove the functionality later.
Boost website generator ======================= This site contains several scripts for maintaining the Boost website. Most users will just call `update.py` after updating any quickbook files. update.py --------- Update the html pages and rss feeds for new or updated quickbook files. refresh.py ---------- 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. update-doc-list.php ------------------- Updates the documentation list from `doc/libraries.xml`. Requires php the site to be configured. ---------------------------------------------------------------------- Copyright 2011 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