Re: Changing the HTML file extension

On Sun, 11 Feb 2001, Vince Vielhaber wrote:

> On Sun, 11 Feb 2001, Tom Lane wrote:
>
> > 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 agreed about the bookmarks but as to the files changing and noone
> objecting, I wish I knew you were responsible BEFORE I answered all
> the messages about missing links in the FAQs that pointed to number
> type filenames, I could have simply forwarded them to you and saved
> alot of time.  I think I will change the 404 page tho to tell folks
> to send a note to the docs list if it's doc related.  If something
> breaks everyone will know about it alot sooner.

sounds perfectly reasonable to me ... you are on that list too, right?  so
it would hit aall pertinent ppl ...