Add HTML manuals to the clean target.