Update scripts from Peter.

diff --git a/doc/src/sgml/ref/create_user.sgml b/doc/src/sgml/ref/create_user.sgml
index 4601edc3dd2c5e12935adfcb27c980967f11df2f..2f5d1d7feea7b63540ef39a94c90f25ffd44f032 100644 (file)
--- a/doc/src/sgml/ref/create_user.sgml
+++ b/doc/src/sgml/ref/create_user.sgml
@@ -1,5 +1,5 @@
 
 
@@ -61,6 +61,13 @@ CREATE USER username
         match the UNIX user ids, but some people
         choose to keep the numbers the same.
        
+       
+   If you still want the
+   OS user id and the usesysid to match
+   for any given user,
+   use the createuser script provided with
+   the Postgres distribution.
+       
        
         If this is not specified, the highest assigned user id plus one
         will be used as default.

diff --git a/doc/src/sgml/ref/destroydb.sgml b/doc/src/sgml/ref/destroydb.sgml
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/doc/src/sgml/ref/destroylang.sgml b/doc/src/sgml/ref/destroylang.sgml
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/doc/src/sgml/ref/destroyuser.sgml b/doc/src/sgml/ref/destroyuser.sgml
deleted file mode 100644 (file)
index e69de29..0000000