From 1141853396e10111ecffcb1ae7134c1947c1fc75 Mon Sep 17 00:00:00 2001 From: twpayne Date: Fri, 5 Apr 2013 06:49:02 -0700 Subject: [PATCH] Updated Developer Guide (markdown) --- Developer-Guide.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Developer-Guide.md b/Developer-Guide.md index 50b4dee..56ed330 100644 --- a/Developer-Guide.md +++ b/Developer-Guide.md @@ -99,6 +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. + ## Running examples @@ -222,4 +224,4 @@ Git commit message should look like: Further paragraphs come after blank lines. -Please keep the header line short, no more than 50 characters. +Please keep the header line short, no more than 50 characters. \ No newline at end of file