diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-08 15:58:58 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-08 15:58:58 +1100 |
commit | 2fdbc9826f31ba7c890a7b9e4fcfebcb2a4bad8b (patch) | |
tree | 403771e96e664d5ce41c1ffaf05788b543c3da92 /common/waf.py | |
parent | c-user: Format the directives as descriptions. (diff) | |
download | rtems-docs-2fdbc9826f31ba7c890a7b9e4fcfebcb2a4bad8b.tar.bz2 |
waf: Use the good fonts if installed.
Diffstat (limited to '')
-rw-r--r-- | common/waf.py | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/common/waf.py b/common/waf.py index 0086be0..c1d3f81 100644 --- a/common/waf.py +++ b/common/waf.py @@ -89,21 +89,27 @@ def build_dir_setup(ctx, buildtype): return build_dir, output_node, output_dir, doctrees def pdf_resources(ctx, buildtype): + packages_base = ctx.path.parent.find_dir('common/latex') + if packages_base is None: + ctx.fatal('Latex package directory not found') + base = packages_base.path_from(ctx.path) + fnode = ctx.path.get_bld().make_node(buildtype) + fnode.mkdir() local_packages = latex.local_packages() if local_packages is not None: - packages_base = ctx.path.parent.find_dir('common/latex') - if packages_base is None: - ctx.fatal('Latex package directory not found') - base = packages_base.path_from(ctx.path) srcs = [os.path.join(base, p) for p in local_packages] - fnode = ctx.path.get_bld().make_node(buildtype) - fnode.mkdir() ctx( features = "subst", is_copy = True, source = srcs, target = [fnode.make_node(p) for p in local_packages] ) + ctx( + features = "subst", + is_copy = True, + source = os.path.join(base, ctx.env.RTEMSEXTRAFONTS), + target = fnode.make_node('rtemsextrafonts.sty') + ) def html_resources(ctx, buildtype): for dir_name in ["_static", "_templates"]: |