From a9630535a1bbbef0a91795a8136d67fc636a9a93 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 27 Oct 2014 10:08:56 +0100
Subject: Use the url package, since coqdoc generates \url commands.

---
 doc/stdlib/Library.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib/Library.tex')

diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index f410000eab..44a0b1d361 100755
--- a/doc/stdlib/Library.tex
+++ b/doc/stdlib/Library.tex
@@ -5,6 +5,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{fullpage}
 \usepackage{amsfonts}
+\usepackage{url}
 \usepackage[color]{../../coqdoc}
 
 \input{../common/version}
-- 
cgit v1.2.3

