Skip site navigation (1) Skip section navigation (2)

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 (view raw or flat)
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

pgsql-docs by date

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

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group