doc: update file list

    % make -C doc update-files