From d58a86c1d3a825ea3a6d881fb71831c8cb0e10b3 Mon Sep 17 00:00:00 2001
From: mainzelm <mainzelm>
Date: Wed, 10 Oct 2001 09:26:13 +0000
Subject: [PATCH] Hack for \url.

---
 doc/scsh-manual/man.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/scsh-manual/man.tex b/doc/scsh-manual/man.tex
index 4083a2e..afdfb35 100644
--- a/doc/scsh-manual/man.tex
+++ b/doc/scsh-manual/man.tex
@@ -7,6 +7,9 @@
             headings,mantitle,array,matter,mysize10,tex2page}
 
 \texonly
+% tex2page defines \url and hyperref loads the package url
+% but setting \url to \relax satisfies \newcommand
+\let\url\relax
 \usepackage[dvipdfm,hyperindex,hypertex,
      pdftitle={scsh manual, release 0.5.3},
      pdfauthor={Olin Shivers and Brian D.~Carlstrom}