Use hyperref in manual

This allows the table of contents to show up properly in PDF readers.

1 files changed, 2 insertions, 0 deletions

diff --git a/doc/manual.tex b/doc/manual.tex
index ad23d638..1ff3f7aa 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -9,6 +9,8 @@
 \newcommand{\rcut}{\; \texttt{-{}-} \;}
 \newcommand{\rcutM}{\; \texttt{-{}-{}-} \;}
 
+\usepackage{hyperref}
+
 \begin{document}
 
 \title{The Ur/Web Manual}