diff options
author | Amar Takhar <amar@rtems.org> | 2016-01-19 00:27:45 -0500 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:24 -0400 |
commit | 9b5801a6e6c80379b79a799a9484cfefb4cebec3 (patch) | |
tree | 25e3547fd647701b03cc2bab4164bfeb29e2dc64 /develenv/wscript | |
parent | Add .svg logos for RTEMS that I made myself. (diff) | |
download | rtems-docs-9b5801a6e6c80379b79a799a9484cfefb4cebec3.tar.bz2 |
Add PDF generation support use with --pdf
Diffstat (limited to '')
-rw-r--r-- | develenv/wscript | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/develenv/wscript b/develenv/wscript index 0565c4b..8d66b28 100644 --- a/develenv/wscript +++ b/develenv/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) |