diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-05-20 13:50:49 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-05-20 13:50:49 -0400 |
| commit | 7ea9d17bad72cf2829c75d8d241fafa70b2c9b94 (patch) | |
| tree | 170320af7177fe9e033d376d3b70e45a8dccb942 /doc | |
| parent | 2721267f40e35a3a2acfa8ee332bda454823ef83 (diff) | |
| parent | 5c118b9e9a58e0ae09ddd74bea2a9823badb9ba5 (diff) | |
Merge branch 'upstream' into dfsg_clean20150520+dfsg
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 2 |
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} |