diff --git a/documentation/source/conf.py b/documentation/source/conf.py
index 9d0a2e8..6d4d8df 100644
--- a/documentation/source/conf.py
+++ b/documentation/source/conf.py
@@ -12,7 +12,7 @@
 #
 import os
 import sys
-sys.path.insert(0, os.path.abspath('../../ext/sphinx-extensions/sphinxcontrib'))
+sys.path.insert(0, os.path.abspath('../../_packages/sphinx-extensions/current/src/sphinxcontrib'))
 import dylan.themes as dylan_themes
 
 
diff --git a/documentation/source/index.rst b/documentation/source/index.rst
index c3604a9..7a40101 100644
--- a/documentation/source/index.rst
+++ b/documentation/source/index.rst
@@ -12,14 +12,10 @@ The :program:`dylan` command-line tool
 * publishes packages to the Dylan package catalog.
 
 .. toctree::
-   :hidden:
+   :maxdepth: 2
 
    The pacman Package Manager <pacman>
 
-.. contents::
-   :depth: 2
-   :local:
-
 
 Terminology
 ===========