diff options
author | Matthew Sotoudeh <masotoudeh@ucdavis.edu> | 2020-10-10 16:45:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-10 16:45:55 -0700 |
commit | ced6dac36188c845d7d06e5768e484b4b774d028 (patch) | |
tree | 0f0b6cfec9133c50806793a6a93c97ce4c1ee641 /get_pdf.sh | |
parent | 30c4380d83a0fd6937bab7ee363adde29f3ab418 (diff) |
Allow the user to specify which LaTeX compiler to use (#8)
We were using pdflatex as a default LaTeX compiler. This PR allows the user to specify any of the ones shipped with TeXLive.
This is particularly important because some applications require, e.g., Times New Roman font. In PDFLatex, it looks like it's basically impossible to guarantee this. In XeLaTeX and LuaLaTeX it seems to be possible. So having the option to switch between them can be useful.
Diffstat (limited to 'get_pdf.sh')
0 files changed, 0 insertions, 0 deletions