From 4b88d774729e0ab7916730e8e6ebedc2033a87f2 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 26 Sep 2015 16:31:29 +0200
Subject: Documenting how to support some special unicode characters in coqdoc
 (thanks to coq-club, Sep 2015).

---
 doc/refman/coqdoc.tex | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'doc/refman')

diff --git a/doc/refman/coqdoc.tex b/doc/refman/coqdoc.tex
index 30467a5e6e..26dbd59e76 100644
--- a/doc/refman/coqdoc.tex
+++ b/doc/refman/coqdoc.tex
@@ -507,6 +507,15 @@ Default behavior is to assume ASCII 7 bits input files.
   \texttt{forall}. \LaTeX\ UTF-8 support can be found at
   \url{http://www.ctan.org/pkg/unicode}.
 
+  For the interpretation of Unicode characters by \LaTeX, extra
+  packages which {\coqdoc} does not provide by default might be
+  required, such as \texttt{textgreek} for some Greek letters or
+  \texttt{stmaryrd} for some mathematical symbols. If a Unicode
+  character is missing an interpretation in the \texttt{utf8x} input
+  encoding, add
+  \verb=\DeclareUnicodeCharacter{=\textit{code}\verb=}{=\textit{latex-interpretation}\verb=}=. Packages
+  and declarations can be added with option \texttt{-p}.
+
 \item[\texttt{\mm{}inputenc} \textit{string}] ~\par
 
   Give a \LaTeX\ input encoding, as an option to \LaTeX\ package
-- 
cgit v1.2.3