diff -r 78357d58b7ab -r fba288d59662 isabelle.rst
--- a/isabelle.rst	Mon Feb 22 12:42:48 2016 +0200
+++ b/isabelle.rst	Mon Feb 22 12:46:36 2016 +0200
@@ -5,6 +5,7 @@
  Isabelle.
 ===========
 .. contents::
+   :local:
 
 Prepare user work dir.
 ======================