diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-07 14:30:10 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-13 23:33:41 +0100 |
| commit | f5c995467f8342e84bd73ac6d6bbd3c3281b2b4e (patch) | |
| tree | 8eb227295d49de0ec60a4c17c07d5447f99b71e6 /test-suite/coqdoc/links.tex.out | |
| parent | 0d81e80a09db7d352408be4dfc5ba263f6ed98ef (diff) | |
Fixing encoding in coqdoc output tests.
The file links.v is using utf-8 characters so this is needed at least
to test this file. For the other files, it is not completely without
effect since it makes that symbols like => and forall are respectively
displayed ⇒ and ∀.
Maybe tests with iso-8859-1 or test without a charset option should be
kept.
Diffstat (limited to 'test-suite/coqdoc/links.tex.out')
| -rw-r--r-- | test-suite/coqdoc/links.tex.out | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test-suite/coqdoc/links.tex.out b/test-suite/coqdoc/links.tex.out index de3182d1a..7d93189ae 100644 --- a/test-suite/coqdoc/links.tex.out +++ b/test-suite/coqdoc/links.tex.out @@ -1,5 +1,15 @@ \documentclass[12pt]{report} -\usepackage[]{inputenc} +\usepackage[utf8x]{inputenc} + +%Warning: tipa declares many non-standard macros used by utf8x to +%interpret utf8 characters but extra packages might have to be added +%such as "textgreek" for Greek letters not already in tipa +%or "stmaryrd" for mathematical symbols. +%Utf8 codes missing a LaTeX interpretation can be defined by using +%\DeclareUnicodeCharacter{code}{interpretation}. +%Use coqdoc's option -p to add new packages or declarations. +\usepackage{tipa} + \usepackage[T1]{fontenc} \usepackage{fullpage} \usepackage{coqdoc} |