Use the url package, since coqdoc generates \url commands.

1 files changed, 1 insertions, 0 deletions

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 0561d9a081..67a28bfd7c 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -211,6 +211,7 @@ module Latex = struct
       printf "\\usepackage{fullpage}\n";
       printf "\\usepackage{coqdoc}\n";
       printf "\\usepackage{amsmath,amssymb}\n";
+      printf "\\usepackage{url}\n";
       (match !toc_depth with
        | None -> ()
        | Some n -> printf "\\setcounter{tocdepth}{%i}\n" n);