build-tools.rst
changeset 1905 fba288d59662
parent 1334 9bf0d5a1f0cf
child 1912 8b81a8f0f692
--- 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.
 =========