JuliaDocs/Documenter.jl

Missing font issue in pdf

Open

#1.918 geöffnet am 2. Sept. 2022

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Julia (513 Forks)batch import
Format: LaTeXType: Enhancementhelp wanted

Repository-Metriken

Stars
 (910 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 16T 9h) (3 gemergte PRs in 30 T)

Beschreibung

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