if sys.argv[-1] == 'docs':
    os.system('cd docs/ && make html && cd ..')
    sys.exit()