--- a/build-tools.rst Mon Feb 22 12:42:48 2016 +0200 +++ b/build-tools.rst Mon Feb 22 12:46:36 2016 +0200 @@ -5,6 +5,7 @@ Build tools. ============== .. contents:: + :local: GNU Make. =========