diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2003-09-24 09:26:34 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2003-09-24 09:26:34 +0000 |
| commit | b00c08f17d7ddd323deff5a5d6b1ed5d6e2f5417 (patch) | |
| tree | b9e64f206507c34c26a2cdd810b50057fcc951fe /texinfo.tex | |
| parent | 42493aaf5e460ce70d8bed64bcd4e4d12b7878f9 (diff) | |
| download | mpfr-b00c08f17d7ddd323deff5a5d6b1ed5d6e2f5417.tar.gz | |
Added support for some top-bit-set characters in the .texi source.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@2441 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'texinfo.tex')
| -rw-r--r-- | texinfo.tex | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/texinfo.tex b/texinfo.tex index df62a127b..2e1a7cc62 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -6024,6 +6024,15 @@ should work if nowhere else does.} % likely, but for now just recognize it. \let\documentencoding = \comment +% Added by Vincent Lefevre on 2003-09-24. +% Support for some top-bit-set characters in the .texi source. +% See http://www.lysator.liu.se/~nisse/archive/ISO-8859-1.def +% for full ISO-8859-1 support. This is a hack, until document +% encoding is fully supported by texinfo... +\global\catcode177=13 \gdef^^b1{$\pm$} +\global\catcode232=13 \gdef^^e8{\`e} +\global\catcode233=13 \gdef^^e9{\'e} +\global\catcode246=13 \gdef^^f6{\"o} % Page size parameters. % |