diff doc/manual.tex @ 2232:a07b91fa71db

Merge.
author Ziv Scully <ziv@mit.edu>
date Wed, 06 May 2015 14:51:09 -0400
parents 752e5efe9da9
children 7ce804ecd56b
line wrap: on
line diff
--- a/doc/manual.tex	Wed May 06 14:50:55 2015 -0400
+++ b/doc/manual.tex	Wed May 06 14:51:09 2015 -0400
@@ -9,6 +9,8 @@
 \newcommand{\rcut}{\; \texttt{-{}-} \;}
 \newcommand{\rcutM}{\; \texttt{-{}-{}-} \;}
 
+\usepackage{hyperref}
+
 \begin{document}
 
 \title{The Ur/Web Manual}