Removed obsolete doctool