# HG changeset patch
# User Julian Squires <julian@cipht.net>
# Date 1429875802 14400
# Node ID 752e5efe9da9eedd4984ab5a84be6f81b7b651d5
# Parent  e722bcc42eab08be18b12011bdd5d8bcd25e0d18
Use hyperref in manual

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

diff -r e722bcc42eab -r 752e5efe9da9 doc/manual.tex
--- a/doc/manual.tex	Thu Apr 23 16:37:15 2015 -0400
+++ b/doc/manual.tex	Fri Apr 24 07:43:22 2015 -0400
@@ -9,6 +9,8 @@
 \newcommand{\rcut}{\; \texttt{-{}-} \;}
 \newcommand{\rcutM}{\; \texttt{-{}-{}-} \;}
 
+\usepackage{hyperref}
+
 \begin{document}
 
 \title{The Ur/Web Manual}