SVN commit 1219073 by whiting: remove empty doc folder D doc (directory)