configopts.html ([--enable-libstdcxx-allocator]): Mention the SGI pooled allocator.

2005-12-07  Paolo Carlini  <pcarlini@suse.de>

	* docs/html/configopts.html ([--enable-libstdcxx-allocator]):
	Mention the SGI pooled allocator.

From-SVN: r108197

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 223bdd88dea4ca6187e8df4c981110bfacee09a7..7b5b6591e1e252fe224b7d405dfdb79a15541e51 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,8 @@
+2005-12-07  Paolo Carlini  <pcarlini@suse.de>
+
+       * docs/html/configopts.html ([--enable-libstdcxx-allocator]):
+       Mention the SGI pooled allocator.
+
 2005-12-06  Paolo Carlini  <pcarlini@suse.de>
 
        * include/bits/basic_string.h (insert(iterator, _CharT),

diff --git a/libstdc++-v3/docs/html/configopts.html b/libstdc++-v3/docs/html/configopts.html
index 80ff219a9740acf1e39d1f303817cb2308bdc2e0..b396a2d18220a948eea75e4ba964a054ea136ebe 100644 (file)
--- a/libstdc++-v3/docs/html/configopts.html
+++ b/libstdc++-v3/docs/html/configopts.html
@@ -136,9 +136,9 @@ options</a></h1>
  <dd><p>Select a target-specific underlying std::allocator.  The
         choices are 'new' to specify a wrapper for new, 'malloc' to
         specify a wrapper for malloc, 'mt' for a fixed power of two allocator
-        (<a href="ext/mt_allocator.html">documented</a> under extensions) or
-        'bitmap' for a bitmap allocator. This option can change the
-        library ABI.
+        (<a href="ext/mt_allocator.html">documented</a> under extensions),
+       'pool' for the SGI pooled allocator or 'bitmap' for a bitmap allocator.
+       This option can change the library ABI.
      </p>
  </dd>