add deletion of htmldoc to maintainer-clean target. This target brings the directory to original checkout level of cleanliness.
add deletion of htmldoc to maintainer-clean target. This target brings
the directory to original checkout level of cleanliness.


git-svn-id: ecbadac9c76e8cf640a0bca86f6bd796c98521e3@4485 27541ba8-7e3a-0410-8455-c3a389f83636

bbannier/ROOT,bbannier/ROOT,bbannier/ROOT,dawehner/root,dawehner/root,dawehner/root,dawehner/root,dawehner/root,dawehner/root,bbannier/ROOT,bbannier/ROOT,bbannier/ROOT,dawehner/root,dawehner/root,bbannier/ROOT