Re: Docs in release tarballs

From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-05-24 18:39:55

Ruben Perez wrote:
> 	In the beginning, when dinosaurs roamed the Earth, documentation
> consisted
> 	of each library having a heap of .html files in its directory, following no
> convention
> 	in either naming or placement. So there was no way to have a separate
> tarball
> 	with the docs, but there wasn't any need either, because Boost was
> much smaller.
> 
> 
> 
> Does that mean that dinosaurs still roam around here? :)

In some cases yes. :-)

> Is there any reason as of today to keep doing it? (other than no-one
> volunteering to make the change). I guess there must be, since we have
> separate no-docs GitHub releases.

Our documentation build infrastructure is not set up to produce
separate documentation tarballs, and it's not clear what needs to change,
and how, in order for this to happen.

(Apart from the obvious - do something for the libraries that still have
their docs in .html form and don't participate in the doc build at all.)