… from the main repository. The new script is basically a copy of tools/man_to_md.py from the gimp-web repository, with a few improvements. This is meant to improve our release procedure, with much more automatization and less manual steps.
