From: Matias Capeletto (matias.capeletto_at_[hidden])
Date: 2007-05-30 22:51:54
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