switch to using extra-doc-files