Build(devscripts/release): PEP 625

diff --git a/devscripts/release b/devscripts/release
index d94c27f69133ca6c906527722f5e0b35803b0dd7..23b27dcbc61132fa04aa91342b7cad6848ec783d 100755 (executable)
--- a/devscripts/release
+++ b/devscripts/release
@@ -9,6 +9,13 @@ python setup.py build_py &&
 python setup.py build &&
 python setup.py sdist &&
 
+rv=$(python setup.py --version)
+if [ -f dist/m_lib.full-$rv.tar.gz ]; then
+    cd dist &&
+    mv m_lib.full-$rv.tar.gz m_lib_full-$rv.tar.gz &&
+    cd ..
+fi &&
+
 find build -name '*.py[co]' -delete &&
 python setup.py bdist_wheel --universal &&