summaryrefslogtreecommitdiffstats
path: root/common/waf.py
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2016-11-08 15:58:58 +1100
committerChris Johns <chrisj@rtems.org>2016-11-08 15:58:58 +1100
commit2fdbc9826f31ba7c890a7b9e4fcfebcb2a4bad8b (patch)
tree403771e96e664d5ce41c1ffaf05788b543c3da92 /common/waf.py
parent53bb72e99669750ecbd7a418047711a21e32ac40 (diff)
downloadrtems-docs-2fdbc9826f31ba7c890a7b9e4fcfebcb2a4bad8b.tar.bz2
waf: Use the good fonts if installed.
Diffstat (limited to 'common/waf.py')
-rw-r--r--common/waf.py18
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"]: