Re: Changing the HTML file extension

From: The Hermit Hacker <scrappy(at)hub(dot)org>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Cc: Vince Vielhaber <vev(at)michvhf(dot)com>, Peter Eisentraut <peter_e(at)gmx(dot)net>, <pgsql-docs(at)postgresql(dot)org>
Subject: Re: Changing the HTML file extension
Date: 2001-02-12 00:33:03
Message-ID: Pine.BSF.4.31.0102112031010.54632-100000@thelab.hub.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-docs

On Sun, 11 Feb 2001, Tom Lane wrote:

> Vince Vielhaber <vev(at)michvhf(dot)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.

Damn, I hate it when someone comes up with even better points *sigh*

I'm for changing also ...

In response to

Browse pgsql-docs by date

  From Date Subject
Next Message The Hermit Hacker 2001-02-12 01:01:44 Re: Changing the HTML file extension
Previous Message Vince Vielhaber 2001-02-12 00:21:54 Re: Changing the HTML file extension