mirror of
https://github.com/boostorg/website.git
synced 2026-01-30 20:32:16 +00:00
9 lines
279 B
PHP
9 lines
279 B
PHP
<?php
|
|
|
|
echo "Serializing library info\n";
|
|
|
|
require_once(dirname(__FILE__) . '/../common/code/boost_libraries.php');
|
|
|
|
$libs = new boost_libraries(dirname(__FILE__) . '/../doc/libraries.xml');
|
|
file_put_contents(dirname(__FILE__) . '/../generated/libraries.txt', serialize($libs));
|