Received: from candle.pha.pa.us (candle.navpoint.com [162.33.245.46]) by mail.postgresql.org (8.11.1/8.11.1) with ESMTP id f1BMnSx10461 for ; Sun, 11 Feb 2001 17:49:28 -0500 (EST) (envelope-from pgman@candle.pha.pa.us) Received: (from pgman@localhost) by candle.pha.pa.us (8.9.0/8.9.0) id RAA07956; Sun, 11 Feb 2001 17:48:42 -0500 (EST) From: Bruce Momjian Message-Id: <200102112248.RAA07956@candle.pha.pa.us> Subject: Re: Changing the HTML file extension In-Reply-To: "from Peter Eisentraut at Feb 11, 2001 11:34:03 pm" To: Peter Eisentraut Date: Sun, 11 Feb 2001 17:48:41 -0500 (EST) CC: pgsql-docs@postgresql.org X-Mailer: ELM [version 2.4ME+ PL77 (25)] MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII X-Archive-Number: 200102/58 X-Sequence-Number: 313 Agreed. *.htm is an old DOS-ism. > 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@gmx.net http://yi.org/peter-e/ > > -- Bruce Momjian | http://candle.pha.pa.us pgman@candle.pha.pa.us | (610) 853-3000 + If your life is a hard drive, | 830 Blythe Avenue + Christ can be your backup. | Drexel Hill, Pennsylvania 19026