Re: Re: [BUGS] Doc bug undefined special characters - Mailing list pgsql-docs

From Peter Eisentraut
Subject Re: Re: [BUGS] Doc bug undefined special characters
Date
Msg-id Pine.LNX.4.30.0105082113100.759-100000@peter.localdomain
Whole thread Raw
In response to Re: [BUGS] Doc bug undefined special characters  (Bruce Momjian <pgman@candle.pha.pa.us>)
List pgsql-docs
Bruce Momjian writes:

> > In the PostgreSQL 7.1 Tutorial, filename relmodel-oper.html,
> > the HTML special characters ∣ and ∖ are used.  They
> > are not recognized by either Netscape 4.76 or IE 5.5 and I cannot
> > find them in any of my HTML reference books.

> Guys, how should we handle these?

We define an expansion for them.  E.g.,

ENTITY setmn "\"

--
Peter Eisentraut   peter_e@gmx.net   http://funkturm.homeip.net/~peter


pgsql-docs by date:

Previous
From: Justin Clift
Date:
Subject: Re: "make install" note
Next
From: Bruce Momjian
Date:
Subject: Old ftp /contrib stuff