Lines Matching refs:scripts
6 # Generate documentation for the python scripts in this repo, using pdoc3:
31 cp scripts/__init__.py.docs scripts/__init__.py
32 export PYTHONPATH=${SPECDIR}/scripts
34 # # scripts under specification
35 cd $SPECDIR/scripts
39 # echo "scripts"
40 echo "scripts.spec_tools"
47 cd $SPECDIR/scripts
61 mv $OUTDIR/scripts/spec_tools $OUTDIR/spec_tools
63 rm -rf $OUTDIR/scripts
65 rm -f scripts/__init__.py