From feb68323b7eb47129ca999c0b12c8dc0eefd61fd Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Fri, 11 Aug 2017 03:42:55 +0000
Subject: coverpage: Fix repeated entries.

Closes #2865.
---
 common/waf.py    | 4 ++--
 develenv/conf.py | 2 ++
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/common/waf.py b/common/waf.py
index 7947829..df32c71 100644
--- a/common/waf.py
+++ b/common/waf.py
@@ -378,17 +378,17 @@ def xml_catalogue(ctx, building):
     catalogue = {}
     sp = sys.path[:]
     for doc in building:
-        sys.path.insert(0, top_dir.find_node(doc).abspath())
         #
         # Import using the imp API so the module is reloaded for us.
         #
         import imp
+	sys.path = [top_dir.find_node(doc).abspath()]
         mf = imp.find_module('conf')
+        sys.path = sp[:]
         try:
             bconf = imp.load_module('bconf', mf[0], mf[1], mf[2])
         finally:
             mf[0].close()
-        sys.path = sp[:]
         catalogue[doc] = {
             'title': bconf.project,
             'version': str(ctx.env.VERSION),
diff --git a/develenv/conf.py b/develenv/conf.py
index 8a12a42..f902791 100644
--- a/develenv/conf.py
+++ b/develenv/conf.py
@@ -3,6 +3,8 @@ sys.path.append(os.path.abspath('../common/'))
 
 from conf import *
 
+project = "RTEMS Development Environment Guide"
+
 latex_documents = [
     ('index',
      'develenv.tex',
-- 
cgit v1.2.3