Document new commands from makefile
The following discussion from !824 (merged) should be addressed:
-
@steveazz started a discussion: (+1 comment) @tmaczukin thank you this looks really good to me! I feel bad because I keep ping-ponging it back to you, but should we add some kind of documentation for this in
docs/development
so we make users aware of the new awesome commands? We can also make this in a separate MR as long as we do it now :)Other then this last comment this looks very good!