def html():
    check_build()
    #copy_if_out_of_date('../lib/matplotlib/mpl-data/matplotlibrc', '_static/matplotlibrc')
    if small_docs:
        options = "-D plot_formats=\"[('png', 80)]\""
    else:
        options = ''
    if os.system(options % 'sphinx-build %s -b html -d ../build/doctrees . ../build/html'):
        raise SystemExit("Building HTML failed.")

    figures_dest_path = '../build/html/pyplots'
    if os.path.exists(figures_dest_path):
        shutil.rmtree(figures_dest_path)
    copytree(
        'pyplots', figures_dest_path,
        ignore=ignore_patterns("*.pyc"))

    # Clean out PDF files from the _images directory
    for filename in glob.glob('../build/html/_images/*.pdf'):
        os.remove(filename)

    shutil.copy('../../CHANGELOG', '../build/html/_static/CHANGELOG')
dataset/ETHPy150Open scot-dev/scot/doc/make.py/html/swapped operands of `%`