advise people to use "make install" which does python setup.py develop
[libreriscv.git] / resources /
drwxr-xr-x   ..
drwxr-xr-x - server-setup