From 56302f63809494946adf4e805bc61d55ed9d6f14 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 9 Dec 2014 11:52:09 +0100
Subject: refman: fix broken urls

---
 doc/refman/coqdoc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

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
 
-- 
cgit v1.2.3