Online docs page should provide a downloadable PS version (?)

[Jamie Lokier]

Marc Lehmann wrote:
> > when it does work it's fine.  (And the pdfs are much smaller than the ps
> > files).
> 
> Not if we choose to distrbiute gzipped ps files. pdf uses a compress-like
> compressing scheme(1) and so is usually quite larger than .ps.gz. files.

When I've used ghostscript to generate pdfs from LyX output, I
consistently found the pdf to be less than half the size of the .ps.gz.
Perhaps that was because I had a few pictures.

> I don't think pdf is a viable standard to use.

Agreed.  Ghostscript has a habit of crashing with them as well as making
them ugly from time to time.

-- Jamie