diff options
author | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-04-14 13:41:23 -0400 |
---|---|---|
committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-04-14 13:42:03 -0400 |
commit | ecdf2d82eea29a902bac2ecdbf62cf2b6b839386 (patch) | |
tree | 8b72b8d0d5c32bcb8c5c05e2af50594da8ef59b0 /doc/tools/coqrst | |
parent | f29f8f80c8ad94576c7a36f3f638866c208338a0 (diff) |
doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing
The Ubuntu Font License requires substantially modified fonts to be renamed
entirely.
Diffstat (limited to 'doc/tools/coqrst')
-rw-r--r-- | doc/tools/coqrst/notations/CoqNotations.ttf | bin | 0 -> 37988 bytes | |||
-rw-r--r-- | doc/tools/coqrst/notations/UbuntuMono-Square.ttf | bin | 38200 -> 0 bytes | |||
-rwxr-xr-x | doc/tools/coqrst/notations/fontsupport.py | 7 |
3 files changed, 3 insertions, 4 deletions
diff --git a/doc/tools/coqrst/notations/CoqNotations.ttf b/doc/tools/coqrst/notations/CoqNotations.ttf Binary files differnew file mode 100644 index 000000000..da8f2850d --- /dev/null +++ b/doc/tools/coqrst/notations/CoqNotations.ttf diff --git a/doc/tools/coqrst/notations/UbuntuMono-Square.ttf b/doc/tools/coqrst/notations/UbuntuMono-Square.ttf Binary files differdeleted file mode 100644 index a53a9a0f0..000000000 --- a/doc/tools/coqrst/notations/UbuntuMono-Square.ttf +++ /dev/null diff --git a/doc/tools/coqrst/notations/fontsupport.py b/doc/tools/coqrst/notations/fontsupport.py index 3402ea2aa..a3efd97f5 100755 --- a/doc/tools/coqrst/notations/fontsupport.py +++ b/doc/tools/coqrst/notations/fontsupport.py @@ -63,8 +63,7 @@ def trim_font(fnt): def center_glyphs(src_font_path, dst_font_path, dst_name): fnt = trim_font(fontforge.open(src_font_path)) - size = max(max(g.width for g in fnt.glyphs()), - max(glyph_height(g) for g in fnt.glyphs())) + size = max(g.width for g in fnt.glyphs()) fnt.ascent, fnt.descent = size, 0 for glyph in fnt.glyphs(): scale_single_glyph(glyph, size, size) @@ -77,5 +76,5 @@ if __name__ == '__main__': from os.path import dirname, join, abspath curdir = dirname(abspath(__file__)) ubuntumono_path = join(curdir, "UbuntuMono-B.ttf") - ubuntumono_mod_path = join(curdir, "UbuntuMono-Square.ttf") - center_glyphs(ubuntumono_path, ubuntumono_mod_path, "UbuntuMono-Square") + ubuntumono_mod_path = join(curdir, "CoqNotations.ttf") + center_glyphs(ubuntumono_path, ubuntumono_mod_path, "CoqNotations") |