Robert Gravsjö wrote:
> >> I am for #1, not so much for #2, mainly on the grounds of size. But
> >> given #1 it would be possible for packagers to make their own choices
> >> about whether to include plain-text docs.
> >
> > Wouldn't it suffice to make it downloadable, like the pdf doc?
>
> And/or make the HTML version downloadable side by side with the PDF.
That might be easy to do. We already build the HTML, and requiring
people to recursively use wget is not user-friendly.
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ None of us is going to be here forever. +