Just tried to build the web-docs for the latest CVS. It exited with an error on RedHat 9.0. -David Bobroff