README.md: add detail for benchmarks

diff --git a/README.md b/README.md
index 29a95e80da2d3f2bfae92b43267ce1faf7d11126..d5838cd98be0a1f84058fc092bdeec4ab8c9ebf1 100644 (file)
--- a/README.md
+++ b/README.md
@@ -44,7 +44,8 @@ If you haven't done so already, you may download CDSChecker using
 Source code can also be downloaded via the snapshot links on Gitweb (found in
 the __See Also__ section).
 
 Source code can also be downloaded via the snapshot links on Gitweb (found in
 the __See Also__ section).
 

-Get the benchmarks (not required; distributed separately):
+Get the benchmarks (not required; distributed separately), placing them as a
+subdirectory under the `model-checker` directory:

 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks
 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks