Re: release notes in PDF?

["David C. chipman" <dchipman@xxxxxxxx>]

	Hi Bob, 

		Why don't you use the web browser Print commands' print-
to-file option.That will output a PostScript file, which you can then
convert into a PDF.

			-David Chipman