/scripts/packaging/

• ../
• build_debian_package.sh
• compile_design_docs.py