Re: missing link to 8.1dev docs

Kris Jurka wrote:
>
> The old developer site still has the 8.1dev docs which are not linked to
> from the new developer section of the main site.
>
> http://developer.postgresql.org/docs/postgres/index.html

Are we still using the old developer site?  Should we redirect it?

The main http://developer.postgresql.org already says "We moved" so
perhaps we are OK.

--
  Bruce Momjian                        |  http://candle.pha.pa.us
  pgman@candle.pha.pa.us               |  (610) 359-1001
  +  If your life is a hard drive,     |  13 Roberts Road
  +  Christ can be your backup.        |  Newtown Square, Pennsylvania 19073