Added all files in doc/html