diff --git a/INSTALL b/INSTALL
index 70c10d1c39c..f8ed711be85 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 ec48c88092c..a8a5f196c3c 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>