This commit was manufactured by cvs2svn to create branch 'RC_1_33_0'.
Improved local documentation build.