JuliaDocs/Documenter.jl

Missing font issue in pdf

Open

#1,918 创建于 2022年9月2日

在 GitHub 查看
 (1 评论) (0 反应) (0 负责人)Julia (513 fork)batch import
Format: LaTeXType: Enhancementhelp wanted

仓库指标

Star
 (910 star)
PR 合并指标
 (平均合并 16天 9小时) (30 天内合并 3 个 PR)

描述

At the bottom of p6 of the pdf version of the Julia v1.8.0 docs, there is a missing font problem resulting in the Chinese(?) characters being displayed as boxes, both in Acrobat and Edge.

It displays fine on the web page and if I copy the text and paste it anywhere in Windows (including the run dialog!), it displays in the appropriate font.

Perhaps the font should be embedded in the pdf?

贡献者指南