* doc/emacs/emacs-xtra.texi: Set encoding to ISO-8859-1.