The command was changed to prioritization-agenda (#441)

spastorino · web-flow · commit 9f4cb0d0e8b8 · 2020-09-17T07:29:39.000+02:00
diff --git a/src/compiler/prioritization/procedure.md b/src/compiler/prioritization/procedure.md
@@ -101,7 +101,7 @@ to your `~/.profile` file.
 And then run:
 
 ```
-$ cargo run --bin prioritization
+$ cargo run --bin prioritization-agenda
 ```
 
 Copy the content of the generated agenda into the agenda on HackMD.
