JuliaDocs/Documenter.jl

Missing font issue in pdf

Open

#1,918 opened on Sep 2, 2022

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Julia (513 forks)batch import
Format: LaTeXType: Enhancementhelp wanted

Repository metrics

Stars
 (910 stars)
PR merge metrics
 (Avg merge 16d 9h) (3 merged PRs in 30d)

Description

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?

Contributor guide