Subject: Re: [boost] [range] Should html docs be checked in?
From: Daniel James (daniel_at_[hidden])
Date: 2013-12-30 04:11:16


On 30 December 2013 04:10, Mostafa <mostafa_working_away_at_[hidden]> wrote:
> On Sun, 29 Dec 2013 02:20:51 -0800, Daniel James <daniel_at_[hidden]>
>>
>> Not really, as there's a lot of documentation that isn't built, and
>> the documentation that is built often links to files in the boost
>> tree, or uses images from the boost tree. So if we built the
>> documentation at another destination, there would be a lot of files
>> missing.
>
>
> Then how are the files for the website documentation (i.e.,
> http://www.boost.org/doc/libs/1_55_0/) build? Or are those also embedded in
> the boost tree?

It's just the contents of the boost release, a lot of it is served in
a modified form by a php script (e.g. html pages are generated for
source files), and some pages are replaced when there have been
problems.

> (At times I've been tempted just to wget everything under
> the latter url, since the distro docs I resort to usually are missing css
> and image files, sometimes the important ones.)

Please don't do that. The latest release should be fine.