Changing the HTML file extension

From: Peter Eisentraut <peter_e(at)gmx(dot)net>
To: <pgsql-docs(at)postgresql(dot)org>
Subject: Changing the HTML file extension
Date: 2001-02-11 22:34:03
Message-ID: Pine.LNX.4.30.0102112300180.7898-100000@peter.localdomain
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-docs

Since I'm writing a custom stylesheet for the docs anyway, we could change
the extension of the HTML files from .htm to .html. This will probably
break a lot of bookmarks, so I thought I'd ask. OTOH, "deep" bookmarks
into the current docs may become obsolete for a variety of other reasons
anyway.

--
Peter Eisentraut peter_e(at)gmx(dot)net http://yi.org/peter-e/

Responses

Browse pgsql-docs by date

  From Date Subject
Next Message Bruce Momjian 2001-02-11 22:48:41 Re: Changing the HTML file extension
Previous Message Tom Lane 2001-02-11 18:55:10 Re: release date