'extra-html-files' is now called 'extra-doc-files'