diff options
| -rw-r--r-- | doc/refman/coqdoc.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/coqdoc.tex b/doc/refman/coqdoc.tex index fddee4560d..f0986fbf8c 100644 --- a/doc/refman/coqdoc.tex +++ b/doc/refman/coqdoc.tex @@ -502,7 +502,7 @@ Default behavior is to assume ASCII 7 bits input files. Select UTF-8 (Unicode) input files. It is equivalent to \texttt{--inputenc utf8 --charset utf-8}. \LaTeX\ UTF-8 support can be found at - \url{http://www.ctan.org/tex-archive/macros/latex/contrib/supported/unicode/}. + \url{http://www.ctan.org/pkg/unicode}. \item[\texttt{\mm{}inputenc} \textit{string}] ~\par |