> > OTOH, if Marc was only thinking of removing the pre-built docs from the
> > tarball, I don't object to that. I'm not sure why those weren't
> > distributed as separate tarballs from the get-go. I just say that the
> > doc sources are part of the source distribution...
From the get-go, the docs were not, uh, useful docs. They have grown
quite a bit from 1996 (with sources and formatting, probably by orders
of magnitude).
- Thomas