README.

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: