Core: correct some references in the doc.
Makefile: remove the previous doc before building a new one.