Use XeTeX to build PDF manual