Index: display_libs.php
===================================================================
--- display_libs.php	(revision 43983)
+++ display_libs.php	(working copy)
@@ -49,6 +49,7 @@
   array('@.*@','@^libs/iostreams/doc/.*(html|htm)$@i','simple','text/html'),
   array('@.*@','@^libs/serialization/doc/.*(html|htm)$@i','simple','text/html'),
   array('@.*@','@^libs/filesystem/doc/.*(html|htm)$@i','simple','text/html'),
+  array('@.*@','@^libs/system/doc/.*(html|htm)$@i','simple','text/html'),
   array('@.*@','@^libs/numeric/conversion/doc/.*(html|htm)$@i','simple','text/html'),
   array('@.*@','@^libs/optional/doc/.*(html|htm)$@i','simple','text/html'),
   //~ default to processed output for libs and tools