doc: update files

    % make -C doc update-files