From feb68323b7eb47129ca999c0b12c8dc0eefd61fd Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Fri, 11 Aug 2017 03:42:55 +0000 Subject: coverpage: Fix repeated entries. Closes #2865. --- develenv/conf.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'develenv') 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