Delete doc.html

No longer needed.