From 1ced7f3b30828a8803815d741fa70bf8c4b5d68c Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Mon, 15 Jan 2001 21:17:27 +0000
Subject: [PATCH] Adjust file names.

---
 INSTALL                        | 4 ++--
 doc/src/sgml/installation.sgml | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/INSTALL b/INSTALL
index 70c10d1c39..f8ed711be8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -600,13 +600,13 @@ What Now?
 
    * The Tutorial should be your first reading if you are completely new to
      SQL databases. It should have been installed at
-     /usr/local/pgsql/doc/tutorial/index.html unless you changed the
+     /usr/local/pgsql/doc/html/tutorial.htm unless you changed the
      installation directories.
 
    * If you are familiar with database concepts then you want to proceed
      with the Administrator's Guide, which contains information about how to
      set up the database server, database users, and authentication. It can
-     be found at /usr/local/pgsql/doc/admin/index.html.
+     be found at /usr/local/pgsql/doc/html/admin.htm.
 
    * Usually, you will want to modify your computer so that it will
      automatically start the database server whenever it boots. Some
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index ec48c88092..a8a5f196c3 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1,4 +1,4 @@
-<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.33 2000/12/22 18:57:49 petere Exp $ -->
+<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.34 2001/01/15 21:17:27 petere Exp $ -->
 
 <chapter id="installation">
  <title><![%flattext-install-include[<productname>PostgreSQL</>]]> Installation Instructions</title>
@@ -1030,7 +1030,7 @@ kill `cat /usr/local/pgsql/data/postmaster.pid`
       The <citetitle>Tutorial</> should be your first reading if you
       are completely new to <acronym>SQL</> databases. It should have
       been installed at
-      <filename>/usr/local/pgsql/doc/tutorial/index.html</> unless you
+      <filename>/usr/local/pgsql/doc/html/tutorial.htm</> unless you
       changed the installation directories.
      </para>
     </listitem>
@@ -1041,7 +1041,7 @@ kill `cat /usr/local/pgsql/data/postmaster.pid`
       proceed with the <citetitle>Administrator's Guide</citetitle>,
       which contains information about how to set up the database
       server, database users, and authentication. It can be found at
-      <filename>/usr/local/pgsql/doc/admin/index.html</>.
+      <filename>/usr/local/pgsql/doc/html/admin.htm</>.
      </para>
     </listitem>