From 9b5801a6e6c80379b79a799a9484cfefb4cebec3 Mon Sep 17 00:00:00 2001
From: Amar Takhar <amar@rtems.org>
Date: Tue, 19 Jan 2016 00:27:45 -0500
Subject: Add PDF generation support use with --pdf

---
 develenv/conf.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'develenv/conf.py')

diff --git a/develenv/conf.py b/develenv/conf.py
index 5e042a7..d6bc2bd 100644
--- a/develenv/conf.py
+++ b/develenv/conf.py
@@ -6,3 +6,7 @@ from conf import *
 version = '1.0'
 release = '5.0'
 
+latex_documents = [
+	('index', 'develenv.tex', u'RTEMS Development Environment Documentation', u'RTEMS Documentation Project', 'manual'),
+]
+
-- 
cgit v1.2.3