From 53c784f9068cee0d0b33cd93c6f439075f31dbcf Mon Sep 17 00:00:00 2001
From: paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 7 Dec 2005 23:51:31 +0000
Subject: 2005-12-07  Paolo Carlini  <pcarlini@suse.de>

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


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108197 138bc75d-0d04-0410-961f-82ee72b054a4
---
 libstdc++-v3/docs/html/configopts.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'libstdc++-v3/docs')

diff --git a/libstdc++-v3/docs/html/configopts.html b/libstdc++-v3/docs/html/configopts.html
index 80ff219a974..b396a2d1822 100644
--- 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>
 
-- 
cgit v1.2.1