diff --git a/benchmark/README.md b/benchmark/README.md
index f22f04f7c5e191c52b6247a55f9c72d5bf94fb2f..a67ec991eaf00d4836e78c7f662b922f3cb14a7c 100644
--- a/benchmark/README.md
+++ b/benchmark/README.md
@@ -89,6 +89,11 @@ To view the most-recently-generated `.pdf` file, just type:
   make view
 ```
 
+## A shortcut
+
+The command `./make.sh bench <benchmark>` is a shortcut for
+`./make.sh run <benchmark> && ./make.sh plot <benchmark> && ./make.sh view`.
+
 ## Comparing several runs
 
 To compare several runs, proceed as in this example: