From ea8adf92a74d42aa1251d4ebbd00f1de239214a5 Mon Sep 17 00:00:00 2001 From: twpayne Date: Fri, 5 Apr 2013 06:49:35 -0700 Subject: [PATCH] Updated Developer Guide (markdown) --- Developer-Guide.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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