Issue 4816: Add xdvipdfmx option for PDF destination names

XeTeX (xdvipdfmx) replaces link destination names with integers.
In this case, the replaced destination names of
remote PDF cannot be known.

In order to avoid replacement,
this commit adds xdvipdfmx commandline option.

1 files changed, 9 insertions, 0 deletions

diff --git a/scripts/build/xetex-with-options.sh b/scripts/build/xetex-with-options.sh
new file mode 100755
index 0000000000..f53ba0d0b8
--- /dev/null
+++ b/scripts/build/xetex-with-options.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+# By the default settings,
+# XeTeX (xdvipdfmx) replaces link destination names with integers.
+# In this case, the replaced destination names of
+# remote PDF cannot be known. In order to avoid replacement,
+# we can use commandline option `-C 0x0010' for xdvipdfmx.
+
+exec xetex --output-driver='xdvipdfmx -C 0x0010' "$@"