diff options
Diffstat (limited to 'bin/ptxdist')
-rwxr-xr-x | bin/ptxdist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 5e3e461a5..952bcca2b 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1228,6 +1228,7 @@ create_docs() { sphinx-build -b "${builder}" -d "${outdir}/.doctrees" "${srcdir}" \ "${outdir}/${builder}" && if [ "${builder}" = "latex" ]; then + sed -i s/pdflatex/xelatex/ ${outdir}/${builder}/Makefile make -C "${outdir}/${builder}" fi } |