#4816 Add xdvipdfmx option for PDF destination names

[Masamichi Hosoda]

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.

http://codereview.appspot.com/294030043

[Anonymous]

Passes make, make check and a full make doc.

[Anonymous]

Patch on countdown for April 6th.

[Anonymous]

Patch counted down - please push.

[Masamichi Hosoda]

I've pushed to staging.

commit c833e91ac8b976b7bc0f4fcb4a903c728310b369

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.