Doc: remove claim that PROVE_FLAGS defaults to '--verbose'.

Commit e9c81b601 changed this, but missed updating the documentation.
The adjacent claim that we use TAP tests only in src/bin seems pretty
obsolete as well.  Minor other copy-editing.

diff --git a/doc/src/sgml/regress.sgml b/doc/src/sgml/regress.sgml
index 8229528bd460251aefa81f29dc531fc8e47bdc64..7c2b1029c2bc1093a16065d751f6139005839619 100644 (file)
--- a/doc/src/sgml/regress.sgml
+++ b/doc/src/sgml/regress.sgml
@@ -207,7 +207,7 @@ make installcheck-world
   
 
   
-   The TAP tests are only run when PostgreSQL was configured with the
+   The TAP-based tests are run only when PostgreSQL was configured with the
    option --enable-tap-tests.  This is recommended for
    development, but can be omitted if there is no suitable Perl installation.
   
@@ -664,20 +664,19 @@ float8:out:i.86-.*-openbsd=float8-small-is-zero.out
    TAP Tests
 
    
-    The client program tests under src/bin use the Perl
-    TAP tools and are run by prove.  You can pass
+    Various tests, particularly the client program tests
+    under src/bin, use the Perl TAP tools and are run
+    using the Perl testing program prove.  You can pass
     command-line options to prove by setting
     the make variable PROVE_FLAGS, for example:
 
-make -C src/bin check PROVE_FLAGS='--reverse'
+make -C src/bin check PROVE_FLAGS='--timer'
 
-    The default is --verbose.  See the manual page
-    of prove for more information.
+    See the manual page of prove for more information.
    
 
    
-    The tests written in Perl require the Perl
-    module IPC::Run.
+    The TAP tests require the Perl module IPC::Run.
     This module is available from CPAN or an operating system package.