rename the script to match the doc.

This commit is contained in:
Benoit Marty 2023-10-03 15:18:06 +02:00
parent a202b2dedc
commit 1bd281be16