Update Makefile, removing ICSC docs.
Rebuild the documents.