update dev_ops.md

andreatramacere · Apr 30, 2024 · 2648cfc · 2648cfc
1 parent bcdf1a2
commit 2648cfc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev_ops.md b/dev_ops.md
@@ -6,7 +6,7 @@
 
 -  If you want to make a tag you can use the script, the  `-do_remote_tag` option will create the tag remotely,
    deleting remotely the one with the same name, e.g.: 
-    - `./make_tag.py 1.1.2 -do_remote_tag`
+    - `./make_tag.py -tag 1.1.2 -do_remote_tag`
 
    To use as tag the current version
     - `./make_tag.py  -do_remote_tag`