Doc: update bki.sgml's statements about OID ranges.

Commit ab596105b neglected to make the docs match the code.

diff --git a/doc/src/sgml/bki.sgml b/doc/src/sgml/bki.sgml
index db1b3d5e9a028a435c17cce252a14f4a54f0c2ff..b33e59d5e42c5289f9bc68bb01bc540efcd07e28 100644 (file)
--- a/doc/src/sgml/bki.sgml
+++ b/doc/src/sgml/bki.sgml
@@ -418,11 +418,11 @@
    
     If genbki.pl needs to assign an OID to a catalog
     entry that does not have a manually-assigned OID, it will use a value in
-    the range 10000—11999.  The server's OID counter is set to 12000
+    the range 10000—12999.  The server's OID counter is set to 13000
     at the start of a bootstrap run.  Thus objects created by regular SQL
     commands during the later phases of bootstrap, such as objects created
     while running the information_schema.sql script,
-    receive OIDs of 12000 or above.
+    receive OIDs of 13000 or above.