Ticket #1745: display_libs.php.diff

File display_libs.php.diff, 721 bytes (added by Darren Garvey, 15 years ago)

Patch for Boost.System doc embedding (against website/public_html/beta/doc/)

  • display_libs.php

     
    4949  array('@.*@','@^libs/iostreams/doc/.*(html|htm)$@i','simple','text/html'),
    5050  array('@.*@','@^libs/serialization/doc/.*(html|htm)$@i','simple','text/html'),
    5151  array('@.*@','@^libs/filesystem/doc/.*(html|htm)$@i','simple','text/html'),
     52  array('@.*@','@^libs/system/doc/.*(html|htm)$@i','simple','text/html'),
    5253  array('@.*@','@^libs/numeric/conversion/doc/.*(html|htm)$@i','simple','text/html'),
    5354  array('@.*@','@^libs/optional/doc/.*(html|htm)$@i','simple','text/html'),
    5455  //~ default to processed output for libs and tools