docs: Fix docs about test dependencies

Reduce duplication and clarify.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/docs/build.rst b/docs/build.rst
index bce4c6a24be026386fb482ff82e266673e71cb5d..fd2f7f41977a030fc59c9fdd40d11cdbe00ee5f1 100644 (file)
--- a/docs/build.rst
+++ b/docs/build.rst
@@ -54,7 +54,7 @@ Setup
 
    **If you just want to edit and preview the shape libraries (ie the piece shapes) you can stop here.**
 
-4. Install the webdriver binary from Mozilla.  Visit
+4. For the tests, install the webdriver binary from Mozilla.  Visit
 
      https://github.com/mozilla/geckodriver/releases/tag/v0.28.0
 

diff --git a/docs/dev.md b/docs/dev.md
index c7c94236b8743a357f8409d9554645c76549fcfc..3023b81d8a3117436bb8e9026b6a5dbb460f8b2c 100644 (file)
--- a/docs/dev.md
+++ b/docs/dev.md
@@ -169,13 +169,9 @@ Navigating the otter source code
 Automatic in-browser tests (`wdriver`)
 --------------------------------------
 
-* `apt install firefox`
-
-* `https://github.com/mozilla/geckodriver/releases/tag/v0.28.0`
-  download appropriate tarball, put "geckodriver" on PATH
-
-`make check` runs all the tests; `make wdt` runs only those tests.  You can run
-an individual test with a rune like this:
+`make check` runs all the tests; `make wdt` runs only the webdriver
+(in-browser) tests.  You can run an individual test with a rune like
+this:
 
 ```
   OTTER_TEST_LOG=otter_webdriver_tests=trace CARGO_MANIFEST_DIR=~ian/Rustup/Game/server time target/debug/wdriver --test=wdt-simple --geckodriver-args=