rs_quickcheck_util 0.2.0

some helper functions and macros to ease usage of quickcheck
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#!/usr/bin/python3
import subprocess as sp
import os
from pathlib import Path
import shutil as sh

def clean_dir():
    rsdoc_dir = Path('target/doc')
    sh.rmtree(rsdoc_dir)

def cargo_doc():
    env = os.environ.copy()
    env['RUSTDOCFLAGS'] = '--html-in-header ./katex.html'
    sp.check_call(['cargo', 'doc', '--no-deps'], env=env)

if __name__ == '__main__':
    clean_dir()
    cargo_doc()