diff --git a/Developer-Guide.md b/Developer-Guide.md index 56ed330..eb7fe6e 100644 --- a/Developer-Guide.md +++ b/Developer-Guide.md @@ -99,7 +99,8 @@ To run the `check` target use: $ ./build.py check -If you want to run the full suite of integration tests, see [Running the integration tests](#running-the-integration-tests) below. +If you want to run the full suite of integration tests, see "Running the integration +tests" below. ## Running examples