Shell scripts

Many shell scripts have been written to automate repetitive tasks of design and project administration. Below you find the description and ‘help’-sections of the scripts in alphabetical order. The information is automatically generated at the build time of the documentation from the information provided in the scripts, so if you see something missing, please help us to improve.