doc: update file list

    % make -C doc/ update-files