diff --git a/docs/troubleshoot_general_tips.rst b/docs/troubleshoot_general_tips.rst
index 0a0b3761e2..bab01b611a 100644
--- a/docs/troubleshoot_general_tips.rst
+++ b/docs/troubleshoot_general_tips.rst
@@ -64,7 +64,7 @@ Try this first to clean up dangling images:
 
 .. code:: sh
 
-   docker system prune -f  # (This is very safe, so try this first.)
+   make dev.prune  # (This is very safe, so try this first.)
 
 If you are still seeing issues, you can try cleaning up dangling volumes.