Update files

    % make -C data/html update-files