From 80eef6fc5b769ce2334cd53bd62487284955e3f5 Mon Sep 17 00:00:00 2001 From: Tomas Groth Date: Sun, 17 Feb 2019 22:12:05 +0100 Subject: [PATCH] include font in package --- builders/builder.py | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/builders/builder.py b/builders/builder.py index 3441ddc..f5e4d57 100644 --- a/builders/builder.py +++ b/builders/builder.py @@ -372,6 +372,15 @@ class Builder(object): self._print_verbose('... %s', filename) copy(os.path.join(root, filename), os.path.join(dest_path, filename)) + def copy_font(self): + """ + Copy OpenLP font file + """ + self._print('Copying OpenLP font...') + source = os.path.join(self.source_path, 'core', 'ui', 'fonts', 'OpenLP.ttf') + dest = os.path.join(self.dist_path, 'core', 'ui', 'fonts', 'OpenLP.ttf') + copy(source, dest) + def copy_extra_files(self): """ Copy any extra files which are particular to a platform @@ -468,6 +477,7 @@ class Builder(object): self.copy_default_theme() self.copy_plugins() self.copy_media_player() + self.copy_font() if os.path.exists(self.manual_path): self.run_sphinx() else: