From 9b5801a6e6c80379b79a799a9484cfefb4cebec3 Mon Sep 17 00:00:00 2001 From: Amar Takhar Date: Tue, 19 Jan 2016 00:27:45 -0500 Subject: Add PDF generation support use with --pdf --- shell/conf.py | 4 ++++ shell/wscript | 7 +------ 2 files changed, 5 insertions(+), 6 deletions(-) (limited to 'shell') diff --git a/shell/conf.py b/shell/conf.py index 5e042a7..7ee08cf 100644 --- a/shell/conf.py +++ b/shell/conf.py @@ -6,3 +6,7 @@ from conf import * version = '1.0' release = '5.0' +latex_documents = [ + ('index', 'shell.tex', u'RTEMS Shell Documentation', u'RTEMS Documentation Project', 'manual'), +] + diff --git a/shell/wscript b/shell/wscript index 0565c4b..8d66b28 100644 --- a/shell/wscript +++ b/shell/wscript @@ -2,10 +2,5 @@ from sys import path from os.path import abspath path.append(abspath('../common/')) -from waf import cmd_configure, cmd_build, spell, cmd_spell +from waf import cmd_configure as configure, cmd_build as build, spell, cmd_spell, cmd_options as options -def configure(ctx): - cmd_configure(ctx) - -def build(ctx): - cmd_build(ctx) -- cgit v1.2.3