...IMHO we just need to install Forrest. Simple as that...
Might be too much to ask for our (yet mysterious and unknown) "doc committers"?
More seriously, the problem is making sure everyone is using the same version of Forrest. Could work with CVS tags though.
...Putting the forrest distro in another CVS is just a waste.
Yes, but not that big a waste (just disk space) and will make it easier for people to make sure they are using the right version.
-Bertrand
