mirror of
https://github.com/boostorg/website.git
synced 2026-01-29 08:02:20 +00:00
9 lines
273 B
PHP
9 lines
273 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__) . '/../doc/libraries.txt', serialize($libs));
|