diff options
| author | Pierre Letouzey | 2014-12-09 11:52:09 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-12-09 12:14:41 +0100 |
| commit | 56302f63809494946adf4e805bc61d55ed9d6f14 (patch) | |
| tree | c4da4ce83644811ee14f3ca1a43fdb12a0faf6dd /doc | |
| parent | 6846c43b3513cbb984c6499ff59c59e20aaeb505 (diff) | |
refman: fix broken urls
Diffstat (limited to 'doc')
| -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 |