gnu-web-doc-update: add all the new files, even in new directories