Removed old html documentation files.