Use `-dfont-ps-resdir` for make doc

We used -dfont-export-dir for make doc. However, it cannot handle CID keyed fonts.

This commit makes make doc uses -dfont-ps-resdir that can handle CID keyed fonts.