diff -r a4cf79209a28 docs/src/user.tex
--- a/docs/src/user.tex	Wed Sep 03 12:45:59 2008 +0100
+++ b/docs/src/user.tex	Wed Sep 03 11:13:53 2008 -0400
@@ -1,5 +1,5 @@
 \documentclass[11pt,twoside,final,openright]{report}
-\usepackage{a4,graphicx,html,parskip,setspace,times,xspace,url}
+\usepackage{a4,graphicx,html,parskip,setspace,times,xspace,url,hyperref}
 \setstretch{1.15}
 
 \renewcommand{\ttdefault}{pcr}