From e0dbdd06171397845e476c8ea5077e97d7b8e5c3 Mon Sep 17 00:00:00 2001
From: jollytoad <jollytoad>
Date: Tue, 15 Feb 2005 12:48:49 +0000
Subject: [PATCH] Set documentation base URL to official 8.0 docs instead of
 development docs.

---
 help/PostgresDoc80.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/help/PostgresDoc80.php b/help/PostgresDoc80.php
index 3c691d5f..934a22e0 100644
--- a/help/PostgresDoc80.php
+++ b/help/PostgresDoc80.php
@@ -3,12 +3,12 @@
 /**
  * Help links for PostgreSQL 8.0 documentation
  *
- * $Id: PostgresDoc80.php,v 1.3 2004/11/26 09:32:51 soranzo Exp $
+ * $Id: PostgresDoc80.php,v 1.4 2005/02/15 12:48:49 jollytoad Exp $
  */
 
 include('./help/PostgresDoc74.php');
 
-$this->help_base = 'http://developer.postgresql.org/docs/postgres/';
+$this->help_base = 'http://www.postgresql.org/docs/8.0/interactive/';
 
 $this->help_page['pg.column.add'][0] = 'ddl-alter.html#AEN2217';
 $this->help_page['pg.column.drop'][0] = 'ddl-alter.html#AEN2226';
-- 
2.39.5