Re: [boost] javascript in docs

Robert:

Note that if this tree "navigator" were automatically generated and inserted as part of the documentation build, it could be replaced by some other implemenation just by changing the build script.

Is this building procedure documented? Regards Matias