Merge pgadmin paragraph.

diff --git a/doc/src/sgml/external-projects.sgml b/doc/src/sgml/external-projects.sgml
index d23bf24d6e510b4aa281966c577494a7f94049db..99f6b8932843037704769cc0ba81a063fd392e49 100644 (file)
--- a/doc/src/sgml/external-projects.sgml
+++ b/doc/src/sgml/external-projects.sgml
@@ -1,5 +1,5 @@
 
 
  
@@ -186,15 +186,6 @@ $PostgreSQL: pgsql/doc/src/sgml/external-projects.sgml,v 1.1 2004/12/03 05:50:17
    that is developed independently from the main projects.
   
 
- 
-
- 
- Administration Tools
-
-  
-   administration tools
-  
-
   
    There are several administration tools available for
    PostgreSQL. The most popular is