diff -r 78357d58b7ab -r fba288d59662 gnu-make.rst
--- a/gnu-make.rst	Mon Feb 22 12:42:48 2016 +0200
+++ b/gnu-make.rst	Mon Feb 22 12:46:36 2016 +0200
@@ -5,6 +5,7 @@
  GNU Make.
 ===========
 .. contents::
+   :local:
 
 Make docs.
 ==========