/devscripts/gh-pages/

• ../
• add-version.py
• generate-download.py
• sign-versions.py
• update-copyright.py
• update-feed.py
• update-sites.py