re PR libstdc++/5734 (2 extensions (empty push_back() and is_sorted()) are not documented)

2002-03-06  Phil Edwards  <pme@gcc.gnu.org>

	PR libstdc++/5734
	* include/bits/stl_vector.h (vector::push_back()):  Guard with
	_GLIBCPP_DEPRECATED.

From-SVN: r50375

libstdc++-v3/ChangeLog

 2002-03-06  Phil Edwards  <pme@gcc.gnu.org>
 
+	PR libstdc++/5734
+	* include/bits/stl_vector.h (vector::push_back()):  Guard with
+	_GLIBCPP_DEPRECATED.
+
+2002-03-06  Phil Edwards  <pme@gcc.gnu.org>
+
 	* include/bits/c++config:  Fix misplaced leading blanks on first line.
 
 2002-03-05  Benjamin Kosnik  <bkoz@redhat.com>

libstdc++-v3/include/bits/stl_vector.h

@@ -484,9 +484,13 @@ public:
       _M_insert_aux(end(), __x);
   }
 
+#ifdef _GLIBCPP_DEPRECATED
   /**
    *  Add an element to the end of the vector.  The element is
    *  default-constructed.
+   *
+   *  @note You must define _GLIBCPP_DEPRECATED to make this visible; see
+   *        c++config.h.
   */
   void
   push_back()
@@ -498,6 +502,7 @@ public:
     else
       _M_insert_aux(end());
   }
+#endif
 
   void
   swap(vector<_Tp, _Alloc>& __x)