Re: Changing the HTML file extension

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.

Vince.
--
==========================================================================
Vince Vielhaber -- KA8CSH    email: vev@michvhf.com    http://www.pop4.net
 128K ISDN from $22.00/mo - 56K Dialup from $16.00/mo at Pop4 Networking
        Online Campground Directory    http://www.camping-usa.com
       Online Giftshop Superstore    http://www.cloudninegifts.com
==========================================================================