diff --git a/docs/xml/manual-writing-tools.xml b/docs/xml/manual-writing-tools.xml index b491f9880..55da11522 100644 --- a/docs/xml/manual-writing-tools.xml +++ b/docs/xml/manual-writing-tools.xml @@ -123,7 +123,8 @@ top-level directory valgrind/. Edit Makefile.am, adding the new directory foobar to the - TOOLS variable. + TOOLS and + SUBDIRSvariables.