doc: update file list

    make -C doc update-files