CVS docs PDF patch

[Iztok Zupet]

On Wednesday 06 November 2002 20:15, Iztok Zupet wrote:
> Done and uploaded. The patch follows tomorrow if the output seems

As promised, the patch is attached.

Iztok
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PDFsize.patch
Type: text/x-diff
Size: 18694 bytes
Desc: not available
URL: <http://sourceware.org/pipermail/ecos-patches/attachments/20021107/601f75f7/attachment.bin>