<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><DIV><DIV>On 11 Oct 2005, at 10:42 pm, Florian Grammel wrote:</DIV><BLOCKQUOTE type="cite"><DIV><FONT class="Apple-style-span" color="#000000">&lt;snip&gt;</FONT></DIV><DIV>But then my attempts to install XeTeX kept failing. Actually xetex.fmt was properly installed and working, but not xelatex.fmt, even though the installer didn't report any mistakes.</DIV><DIV>The log said i.a.:</DIV><DIV><BLOCKQUOTE type="cite"><DIV>...</DIV><DIV>(/usr/local/teTeX/share/texmf.tetex/tex/generic/hyphen/gahyph.tex</DIV><DIV>Hyphenation patterns `gahyph.tex' Version 1.0 &lt;2004/01/22&gt;</DIV><DIV>! Not a letter.</DIV><DIV>l.6089 ...rt뉧coirt뉣hreata뉧creata뉤hoirte</DIV><DIV>                                                  hoirtear</DIV><DIV>?</DIV><DIV>! Emergency stop.</DIV><DIV>l.6089 ...rt뉧coirt뉣hreata뉧creata뉤hoirte</DIV><DIV>                                                  hoirtear</DIV><DIV>End of file on the terminal!</DIV></BLOCKQUOTE></DIV><DIV><BR></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>It finally worked when I again removed the xetex-files from web2c, deactivated Irish hyphenation in language.dat and reinstalled XeTeX.</DIV></BLOCKQUOTE><BR></DIV><DIV>This is because the gahyph.tex file includes text in an 8-bit codepage, not Unicode, and so the characters are not interpreted correctly by XeTeX when it reads the file.</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>For some languages, I've shipped modified, Unicode-compatible hyphenation files with XeTeX, but that's one I haven't looked at yet. I'll try to remember to include it next time I do an update. As it seems to use ISO-8859-1 encoding, it's simple to fix, without affecting other TeX engines that read it: just replace the literal accented characters in the \hyphenation exceptions with ^^xx codes (like those used in the \patterns).</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>JK</DIV><FONT class="Apple-style-span" color="#0000DD"></FONT></BODY></HTML>