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

Re: Changing the HTML file extension

From: Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us>
To: Peter Eisentraut <peter_e(at)gmx(dot)net>
Cc: pgsql-docs(at)postgresql(dot)org
Subject: Re: Changing the HTML file extension
Date: 2001-02-11 22:48:41
Message-ID: 200102112248.RAA07956@candle.pha.pa.us (view raw or flat)
Thread:
Lists: pgsql-docs
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(at)gmx(dot)net       http://yi.org/peter-e/
> 
> 


-- 
  Bruce Momjian                        |  http://candle.pha.pa.us
  pgman(at)candle(dot)pha(dot)pa(dot)us               |  (610) 853-3000
  +  If your life is a hard drive,     |  830 Blythe Avenue
  +  Christ can be your backup.        |  Drexel Hill, Pennsylvania 19026

In response to

pgsql-docs by date

Next:From: Vince VielhaberDate: 2001-02-11 23:43:04
Subject: Re: Changing the HTML file extension
Previous:From: Peter EisentrautDate: 2001-02-11 22:34:03
Subject: Changing the HTML file extension

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