proposal to omit pdf generation of reference manual

> What would be really nice would be an unpaginated PDF (galley-proof
> style, if anyone remembers those), much more suitable for reading
> online than the paginated version.  Does PDF support that? 

You can define pages of arbitrary size. But I guess most pdf readers
will run out of memory when rendering it. (I don't know if there are
renderers clever enough to only render the visible part of the page.)

> Is there a
> tool for taking a paginated PDF and making it into an unpaginated one?

TeX tries very hard to handle page breaks well. Cutting these pages 
together would yield a suboptimal result.

Regards,
Harald