Re: Updates for 7.2 INSTALL file - Mailing list pgsql-docs

I have updated this file and the *.sgml files I could update for 7.2.

> Hi all,
>
> With the INSTALL file, do we change the references from 7.1 to 7.2 now
> or wait until later?  (Not counting the "Supported Platforms" bit)
>
> Found three instances where 7.1 should be 7.2, not sure about the one
> which mentions that pg_dumpall of 7.1 shouldn't be used on older
> versions of the database.
>
> Have generated a diff in case that's the easiest way for the change to
> be applied.
>
> Regards and best wishes,
>
> Justin Clift
>
> --
> "My grandfather once told me that there are two kinds of people: those
> who work and those who take the credit. He told me to try to be in the
> first group; there was less competition there."
>      - Indira Gandhi

> *** INSTALL.old    Tue Oct  2 00:17:30 2001
> --- INSTALL    Tue Oct  2 00:18:52 2001
> ***************
> *** 76,82 ****
>
>   The internal data storage format changes with new releases of PostgreSQL.
>   Therefore, if you are upgrading an existing installation that does not have
> ! a version number "7.1.x", you must back up and restore your data as shown
>   here. These instructions assume that your existing installation is under the
>   /usr/local/pgsql directory, and that the data area is in
>   /usr/local/pgsql/data. Substitute your paths appropriately.
> --- 76,82 ----
>
>   The internal data storage format changes with new releases of PostgreSQL.
>   Therefore, if you are upgrading an existing installation that does not have
> ! a version number "7.2.x", you must back up and restore your data as shown
>   here. These instructions assume that your existing installation is under the
>   /usr/local/pgsql directory, and that the data area is in
>   /usr/local/pgsql/data. Substitute your paths appropriately.
> ***************
> *** 125,131 ****
>
>        mv /usr/local/pgsql /usr/local/pgsql.old
>
> ! After you have installed PostgreSQL 7.1, create a new database directory and
>   start the new server. Remember that you must execute these commands while
>   logged in to the special database user account (which you already have if
>   you are upgrading).
> --- 125,131 ----
>
>        mv /usr/local/pgsql /usr/local/pgsql.old
>
> ! After you have installed PostgreSQL 7.2, create a new database directory and
>   start the new server. Remember that you must execute these commands while
>   logged in to the special database user account (which you already have if
>   you are upgrading).

>
> ---------------------------(end of broadcast)---------------------------
> TIP 1: subscribe and unsubscribe commands go to majordomo@postgresql.org

--
  Bruce Momjian                        |  http://candle.pha.pa.us
  pgman@candle.pha.pa.us               |  (610) 853-3000
  +  If your life is a hard drive,     |  830 Blythe Avenue
  +  Christ can be your backup.        |  Drexel Hill, Pennsylvania 19026