wget sympa_export.bash

sympa/doc/migration.md

@@ -16,8 +16,9 @@ Future:     debian13, sympa 6.2.76
 ## export/import
 
 * # on old machine
-* ./export.bash
-* 
+* wget https://git.artcode.re/cemea/monit-sympa/raw/branch/main/sympa/resources/tools/sympa_export.bash
+* chmod +x sympa_export.bash
+* ./sympa_export.bash
 
 ## export (deprecated)