JuliaDocs/Documenter.jl

Missing font issue in pdf

Open

#1,918 opened on 2022年9月2日

GitHub で見る
 (1 comment) (0 reactions) (0 assignees)Julia (513 forks)batch import
Format: LaTeXType: Enhancementhelp wanted

Repository metrics

Stars
 (910 stars)
PR merge metrics
 (平均マージ 16d 9h) (30d で 3 merged PRs)

説明

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?

コントリビューターガイド