JuliaDocs/Documenter.jl

Is it possible to add an options to use other latex engines?

Open

#1.341 geöffnet am 16. Juni 2020

Auf GitHub ansehen
 (9 Kommentare) (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

My documents include Mandarin Chinese characters. So I'm wondering whether it is possible to add an argument to allowing switching latex engines?

Thanks.

Contributor Guide