Move the doc files to extra-doc-files