set encoding for wl-ja.texi