Received: from sss.pgh.pa.us (sss.pgh.pa.us [209.114.132.154])
	by mail.postgresql.org (8.11.1/8.11.1) with ESMTP id f1C0AWx15878
	for <pgsql-docs@postgresql.org>; Sun, 11 Feb 2001 19:10:32 -0500 (EST)
	(envelope-from tgl@sss.pgh.pa.us)
Received: from sss2.sss.pgh.pa.us (tgl@localhost [127.0.0.1])
	by sss.pgh.pa.us (8.11.1/8.11.1) with ESMTP id f1C0AQ913956;
	Sun, 11 Feb 2001 19:10:26 -0500 (EST)
To: Vince Vielhaber <vev@michvhf.com>
cc: Peter Eisentraut <peter_e@gmx.net>, pgsql-docs@postgresql.org
Subject: Re: Changing the HTML file extension 
In-reply-to: <Pine.BSF.4.30.0102111830550.387-100000@paprika.michvhf.com> 
References: <Pine.BSF.4.30.0102111830550.387-100000@paprika.michvhf.com>
Comments: In-reply-to Vince Vielhaber <vev@michvhf.com>
	message dated "Sun, 11 Feb 2001 18:43:04 -0500"
Date: Sun, 11 Feb 2001 19:10:26 -0500
Message-ID: <13953.981936626@sss.pgh.pa.us>
From: Tom Lane <tgl@sss.pgh.pa.us>
X-Archive-Number: 200102/61
X-Sequence-Number: 316

Vince Vielhaber <vev@michvhf.com> writes:
> [ a long list of places that might have links to documentation pages ]

I think this discussion is largely pointless.  We have already made a
substantial number of changes in the filenames of various doc pages
since 7.0 (for instance, there aren't numbers in most of 'em anymore),
and I didn't hear anyone objecting.  Asking that bookmarks not break is
a little late at this point.

I'm for changing to .html, FWIW.

			regards, tom lane